Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
CHF 106.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Falcone, Ylies (Hrsg.) / Finkbeiner, Bernd (Hrsg.) / Havelund, Klaus (Hrsg.) / Lee, Insup (Hrsg.) / Pace, Gordon (Hrsg.) / Rosu, Grigore (Hrsg.) / Sokolsky, Oleg (Hrsg.) / Tillmann, Nikolai (Hrsg.)
- ISBN: 978-3-642-16612-9
- EAN: 9783642166129
- Produktnummer: 33309939
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 492 S.
- Plattform: PDF
- Masse: 9'558 KB
- Auflage: 2010
- Abbildungen: 145 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 6418
4 weitere Werke von Howard (Hrsg.) Barringer:
Advances in Temporal Logic
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Ebook (PDF Format)
CHF 236.00
Bewertungen
Anmelden