Computer Aided Verification – 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
– Buch gebraucht, antiquarisch & neu kaufen
5 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification
Kim G. Larsen
Springer Berlin Heidelberg
, 19.07.2002, TaschenbuchISBN: 3540439978
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification
Brinksma, Ed Larsen, Kim G.
Springer Berlin Heidelberg
, 2002, Kartoniert / BroschiertISBN: 3540439978
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification / 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / Kim G. Larsen (u. a.) / Taschenbuch / Lecture Notes in Computer Science / x
Larsen, Kim G.
Springer-Verlag GmbH
, 2002, TaschenbuchISBN: 3540439978
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Springer Berlin
, 2002, BroschiertISBN: 3540439978
Zustand: wie neu
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Springer
, 01.01.2008, TaschenbuchISBN: 3540439978
Neuware
mehr Info >>
wird gespeichert …