Von dem Buch Computer Aided Verification: International Workshop, CAV 91, Aalborg, Denmark, July 1-4, 1991 - Proceedings 3rd: 3rd International Workshop, Cav 91, Aalborg, Denmark, July 1-4, 1991. 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: Kim G. Larsen, Sous la direction de: Arne Skou: Computer Aided Verification: International Workshop, CAV 91, Aalborg, Denmark, July 1-4, 1991 - Proceedings 3rd: 3rd International Workshop, Cav 91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Paperback) (ISBN: 9783540551799) in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
35%: Larsen, Kim G.; Skou, A. [Editor]: Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science) (ISBN: 9780387551791) 1992, Springer-Verlag, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Computer Aided Verification: International Workshop, CAV 91, Aalborg, Denmark, July 1-4, 1991 - Proceedings 3rd: 3rd International Workshop, Cav 91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Paperback)
10 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 69,19 | € 72,68 | € 76,02 | € 58,80 |
| Nachfrage |
1
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science) (2008)
DE PB USISBN: 9783540551799 bzw. 3540551794, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, getbooks GmbH [55883480], Idstein, HE, Germany.
504 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. 654839.01 Sprache: en Gewicht in Gramm: 771.
504 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. 654839.01 Sprache: en Gewicht in Gramm: 771.
2
Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science) (1992)
EN PB USISBN: 9780387551791 bzw. 0387551794, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1992-06-01. Paperback. Very Good. 3540551794 Ex-library paperback in very nice condition with the usual markings and attachments.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1992-06-01. Paperback. Very Good. 3540551794 Ex-library paperback in very nice condition with the usual markings and attachments.
3
Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science) (1992)
EN PB USISBN: 9780387551791 bzw. 0387551794, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1992-06. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1992-06. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
4
Computer Aided Verification
DE PB NWISBN: 9783540551799 bzw. 3540551794, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Computer Aided Verification: 3rd International Workshop, CAV 91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science)
DE USISBN: 9783540551799 bzw. 3540551794, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, gebraucht.
Von Händler/Antiquariat, BookSleuth [58350165], Danville, CA, 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
7
Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (2014)
DE PB NWISBN: 9783540551799 bzw. 3540551794, in Deutsch, SPRINGER VERLAG GMBH 01/08/2014, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLO, United Kingdom.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.
New Book. This item is printed on demand. Shipped from UK. This item is printed on demand.
8
Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science) (1992)
EN PB USISBN: 9780387551791 bzw. 0387551794, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Bookmans, AZ, Tucson, [RE:4].
Satisfaction 100% guaranteed. Paperback.
Von Händler/Antiquariat, Bookmans, AZ, Tucson, [RE:4].
Satisfaction 100% guaranteed. Paperback.
9
Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science) (1992)
EN PB USISBN: 9780387551791 bzw. 0387551794, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, GuthrieBooks, TX, Spring Branch, [RE:4].
Paperback.
Von Händler/Antiquariat, GuthrieBooks, TX, Spring Branch, [RE:4].
Paperback.
10
Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science) (1992)
EN PB USISBN: 9780387551791 bzw. 0387551794, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, ExtremelyReliable, TX, Richmond, [RE:4].
Paperback.
Von Händler/Antiquariat, ExtremelyReliable, TX, Richmond, [RE:4].
Paperback.
Lade…