Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep K Shukla - Libros - Springer-Verlag New York Inc. - 9781441963994 - 17 de septiembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 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.

315 pages, 100 black & white illustrations, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 17 de septiembre de 2010
ISBN13 9781441963994
Editores Springer-Verlag New York Inc.
Páginas 266
Dimensiones 159 × 247 × 22 mm   ·   576 g
Lengua Inglés  
Editor Shukla, Sandeep Kumar
Editor Talpin, Jean-Pierre

Mere med samme udgiver

Ver todo de Sandeep K Shukla ( Ej. Paperback Book y Hardcover Book )