Springer 2011 07 05 (2 Ergebnisse)

Verlag:

Mit der Detailsuche verfeinern

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings: 6806 (Lecture Notes in Computer Science, 6806)
Ganesh Gopalakrishnan, Shaz Qadeer
Sprache: Englisch
Verlag: Springer 2011-07-05 2011
3642221092 / 9783642221095
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 51,78
EUR 17,97 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Paperback. Zustand: New.
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings (Lecture Notes in Computer Science)
Alex Groce, Madanlal Musuvathi
Sprache: Englisch
Verlag: Springer 2011-07-05 2011
3642223052 / 9783642223051
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 57,05
EUR 17,97 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Paperback. Zustand: New.