Isbn: 9780387564968 - computer aided verification: fourth international workshop, cav'92 montreal, canada, june 29-july 1, 1992 : proceedings (lecture notes in computer science) (2 Ergebnisse)

ISBN:

Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)
G. Von Bochmann~D. K. Probst
Sprache: Englisch
Verlag: Springer, 1994
0387564969 / 9780387564968
- Softcover
Anbieter: Bookmans, tucson, AZ, USABookmans
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht - Befriedigend
EUR 113,39
EUR 3,56 Versand
Versand innerhalb von USA
Anzahl: 1 verfügbar
Paperback. Zustand: Good. . Satisfaction 100% guaranteed.
Entdecken Sie mehr von Gregor von Bochmann
Entdecken Sie ihre veröffentlichten Werke und Sammlerangebote.Gregor von Bochmann entdecken
Computer Aided Verification: Fourth International Workshop, Cav*92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)
Peter De Wulf,William C. Earnshaw
Sprache: Englisch
Verlag: Springer, 2009
0387564969 / 9780387564968
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in mit 4 Sternen
Verkäufer/-in kontaktieren
Zustand: Gebraucht - Befriedigend
EUR 144,61
EUR 29,49 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Paperback. Zustand: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.

Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)