Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep Kumar Shukla - Libros - Springer-Verlag New York Inc. - 9781489987372 - 20 de noviembre de 2014
En caso de que portada y título no coincidan, el título será el correcto

Sandeep Kumar Shukla
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 edition

Precio
Mex$ 2.184
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language.

266 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de noviembre de 2014
ISBN13 9781489987372
Editores Springer-Verlag New York Inc.
Páginas 266
Dimensiones 155 × 235 × 15 mm   ·   435 g
Lengua Inglés  
Editor Shukla, Sandeep Kumar
Editor Talpin, Jean-Pierre

Mere med samme udgiver

Ver todo de Sandeep Kumar Shukla ( Ej. Paperback Book )