Conte aos seus amigos sobre este item:
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Sandeep K Shukla 2010 edition
Preço
€ 110,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 14 - 23 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Sandeep K Shukla
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 17 de setembro de 2010 |
| ISBN13 | 9781441963994 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 266 |
| Dimensões | 159 × 247 × 22 mm · 576 g |
| Idioma | Inglês |
| Editor | Shukla, Sandeep Kumar |
| Editor | Talpin, Jean-Pierre |
Mais por Sandeep K Shukla
Mostrar tudo![Cover for Sandeep K Shukla · Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation (Paperback Book) [Softcover reprint of the original 1st ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/664/9781441954664.jpg?sandeep-k-shukla-2010-nano-quantum-and-molecular-computing-implications-to-high-level-design-and-validation-paperback-book&class=scaled&v=1605336180)
Ver tudo de Sandeep K Shukla ( por exemplo Paperback Book e Hardcover Book )