Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
CHF 71.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: De Boer, Frank S. (Hrsg.) / Bonsangue, Marcello M. (Hrsg.)
- ISBN: 978-3-642-25271-6
- EAN: 9783642252716
- Produktnummer: 33310927
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 393 S.
- Plattform: PDF
- Masse: 7'219 KB
- Auflage: 2012
- Abbildungen: 145 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 6957
5 weitere Werke von Bernhard K. (Hrsg.) Aichernig:
Tests and Proofs
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Ebook (PDF Format)
CHF 59.00
Bewertungen
Anmelden