Del 8471 - Lecture Notes in Computer Science
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Häftad, Engelska, 2014
679 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.
Produktinformation
- Utgivningsdatum2014-10-28
- Mått155 x 235 x 17 mm
- Vikt458 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor287
- Upplaga2014
- FörlagSpringer International Publishing AG
- ISBN9783319121536
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 8702
NASA Formal Methods
Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
Häftad
1 049 kr
Hardware and Software: Verification and Testing
Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Häftad
719 kr
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Inbunden
709 kr
Del 9206
Computer Aided Verification
Daniel Kroening, Corina S. Păsăreanu, Corina S. Pasareanu, Corina S. Păsăreanu, Corina S. P¿s¿reanu
Häftad
709 kr