Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
CHF 80.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: O'Hearn, Peter (Hrsg.) / Rajamani, Sriram K (Hrsg.)
- ISBN: 978-3-642-15057-9
- EAN: 9783642150579
- Produktnummer: 33313528
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 217 S.
- Plattform: PDF
- Masse: 3'155 KB
- Auflage: 2010
- Abbildungen: 68 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 6217
9 weitere Werke von Gary T. (Hrsg.) Leavens:
Bewertungen
Anmelden