Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
CHF 166.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Talpin, Jean-Pierre (Hrsg.)
- ISBN: 978-1-4899-8737-2
- EAN: 9781489987372
- Produktnummer: 17333689
- Verlag: Springer Us
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 284 S.
- Masse: H23.5 cm x B15.5 cm x D1.5 cm 435 g
- Auflage: 2010
- Abbildungen: Paperback
- Gewicht: 435
11 weitere Werke von Sandeep Kumar (Hrsg.) Shukla:
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Frameworks and Methodologies for Correctness by Construction
Ebook (PDF Format)
CHF 143.50
Cyber Security in India
Frameworks and Methodologies for Correctness by Construction
Frameworks and Methodologies for Correctness by Construction
Ebook (PDF Format)
CHF 141.50
Formal Methods and Models for System Design
Frameworks and Methodologies for Correctness by Construction
Frameworks and Methodologies for Correctness by Construction
Ebook (PDF Format)
CHF 265.50
Nano, Quantum and Molecular Computing
Frameworks and Methodologies for Correctness by Construction
Frameworks and Methodologies for Correctness by Construction
Ebook (PDF Format)
CHF 194.50
Bewertungen
Anmelden