Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction - Sandeep Kumar Shukla - Livros - Springer-Verlag New York Inc. - 9781489987372 - 20 de novembro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 114,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 21 - 29 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de novembro de 2014
ISBN13 9781489987372
Editoras Springer-Verlag New York Inc.
Páginas 266
Dimensões 155 × 235 × 15 mm   ·   435 g
Idioma Inglês  
Editor Shukla, Sandeep Kumar
Editor Talpin, Jean-Pierre

Mere med samme udgiver

Ver tudo de Sandeep Kumar Shukla ( por exemplo Paperback Book )