Vinkkaa tuotetta kavereillesi:
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 edition
Sandeep K Shukla
Hinta
R$ 765,49
Tilattu etävarastosta
Arvioitu toimitus pe - ti 5. - 16. syys
Lisää iMusic-toivelistallesi
Eller
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction 2010 edition
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
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | perjantai 17. syyskuuta 2010 |
| ISBN13 | 9781441963994 |
| Tuottaja | Springer-Verlag New York Inc. |
| Sivujen määrä | 266 |
| Mitta | 159 × 247 × 22 mm · 576 g |
| Kieli | English |
| Toimittaja | Shukla, Sandeep Kumar |
| Toimittaja | Talpin, Jean-Pierre |
Näytä kaikki
Lisää tuotteita Sandeep K Shukla
![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)
Katso kaikki joka sisältää Sandeep K Shukla ( Esim. Paperback Book Ja Hardcover Book )