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

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
Lingua: Inglese
Editore: Springer, 1994
0387564969 / 9780387564968
- Brossura
Da: Bookmans, tucson, AZ, U.S.A.Bookmans
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato - Buono
EUR 152,56
EUR 3,56 spedizione
Spedito in U.S.A.
Quantità: 1 disponibile
Paperback. Condizione: Good. . Satisfaction 100% guaranteed.
Scopri altri titoli di Gregor von Bochmann
Scopri le opere pubblicate e le offerte di articoli da collezione.Scopri Gregor von Bochmann
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
Lingua: Inglese
Editore: Springer, 2009
0387564969 / 9780387564968
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Venditore con 4 stelle
Contatta il venditore
Condizione: Usato - Buono
EUR 145,07
EUR 29,59 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibile
Paperback. Condizione: 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)