Von dem Buch Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, . Science Book 10981) (English Edition) haben wir 4 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%: Herausgeber: Hana Chockler, Herausgeber: Georg Weissenbacher: Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, . Science Book 10981) (English Edition) (ISBN: 9783319961453) 2018, Springer, Erstausgabe, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
89%: Herausgeber: Hana Chockler, Herausgeber: Georg Weissenbacher: Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, . Science Book 10982) (English Edition) (ISBN: 9783319961422) 2018, Springer, Erstausgabe, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
89%: Hana Chockler; Georg Weissenbacher: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (ISBN: 9783319961415) Springer International Publishing, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
82%: Hana Chockler; Georg Weissenbacher: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (ISBN: 9783319961446) in Deutsch.Nur diese Ausgabe anzeigen…
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, . Science Book 10981) (English Edition)
9 Angebote vergleichen
1
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, . Science Book 10981) (English Edition) (2018)
EN NW FE EB DLISBN: 9783319961453 bzw. 3319961454, in Englisch, 724 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
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
2
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, . Science Book 10982) (English Edition) (2018)
EN NW FE EB DLISBN: 9783319961422 bzw. 331996142X, in Englisch, 568 Seiten, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
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
Symbolbild
Computer Aided Verification
DE HC NWISBN: 9783319961446 bzw. 3319961446, in Deutsch, Springer, Berlin; Springer International Publishing, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
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
Symbolbild
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
DE PB NWISBN: 9783319961415 bzw. 3319961411, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
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
5
Symbolbild
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
DE PB NWISBN: 9783319961446 bzw. 3319961446, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
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
6
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, O
DE PB NWISBN: 9783319961415 bzw. 3319961411, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, 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: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, O
DE PB NWISBN: 9783319961446 bzw. 3319961446, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, 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
8
Computer Aided Verification
DE NWISBN: 9783319961415 bzw. 3319961411, in Deutsch, Springer Nature, neu.
Lieferung aus: Deutschland, Lagernd.
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
9
Computer Aided Verification
DE NWISBN: 9783319961446 bzw. 3319961446, in Deutsch, Springer Nature, neu.
Lieferung aus: Deutschland, Lagernd.
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
Lade…