Von dem Buch Computer Aided Verification: International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings 11th: 11th International Conference, Cav 99, Trento, Italy, July 6-10, 1999, Proceedings (Paperback) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sous la direction de: Nicolas Halbwachs, Sous la direction de: Doron Peled: Computer Aided Verification: International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings 11th: 11th International Conference, Cav 99, Trento, Italy, July 6-10, 1999, Proceedings (Paperback) (ISBN: 9783540662020) in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
57%: Nicolas Halbwachs; Doron Peled: Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (ISBN: 9783540486831) 1999, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Computer Aided Verification: International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings 11th: 11th International Conference, Cav 99, Trento, Italy, July 6-10, 1999, Proceedings (Paperback)
8 Angebote vergleichen
| Preise | 2011 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 71,82 | € 79,38 | € 81,37 | € 68,31 |
| Nachfrage |
1
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science) (2008)
DE PB USISBN: 9783540662020 bzw. 3540662022, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, gebraucht.
Von Händler/Antiquariat, getbooks GmbH [55883480], Idstein, HE, Germany.
526 Seiten Gepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822159.01 Sprache: Englisch Gewicht in Gramm: 680.
526 Seiten Gepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822159.01 Sprache: Englisch Gewicht in Gramm: 680.
2
Computer Aided Verification: 11th International Conference, Cav99, Trento, Italy, July 6-10, 1999, Proceedings (1999)
DE PB NWISBN: 9783540662020 bzw. 3540662022, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Computer Aided Verification. 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (1999)
DE PB USISBN: 9783540662020 bzw. 3540662022, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, UK, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
DE NWISBN: 9783540662020 bzw. 3540662022, in Deutsch, Springer, neu.
Von Händler/Antiquariat, Firehouse Liquidation [53003159], Vancouver, WA, U.S.A.
Ships next business day! Brand New!
Ships next business day! Brand New!
6
Computer Aided Verification
DE NW EBISBN: 9783540486831 bzw. 3540486836, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (1999)
EN NW EB DLISBN: 9783540486831 bzw. 3540486836, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
8
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (1999)
EN NW EB DLISBN: 9783540486831 bzw. 3540486836, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
Lade…