Computer aided verification 30th

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented togethe…

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

Hana Chockler (u. a.)

Sprache: Englisch

Verlag: Springer, 2018

3319961411 / 9783319961415

Softcover

Anbieter: preigu, Osnabrück, Deutschlandpreigu

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 50,40

EUR 70,00 Versand

Versand von Deutschland nach USA

Anzahl: 5 verfügbar

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

Hana Chockler (u. a.)

Sprache: Englisch

Verlag: Springer, 2018

3319961446 / 9783319961446

Softcover

Anbieter: preigu, Osnabrück, Deutschlandpreigu

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 50,40

EUR 70,00 Versand

Versand von Deutschland nach USA

Anzahl: 5 verfügbar

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

Hana Chockler

Sprache: Englisch

Verlag: Springer, 2018

3319961446 / 9783319961446

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,89

EUR 65,39 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented togethe…

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 (eng)

Chockler, Hana

Sprache: Englisch

Verlag: Springer, 2018

3319961446 / 9783319961446

Softcover
Print-on-Demand

Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 46,22

EUR 11,00 Versand

Versand von Italien nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: new. Questo è un articolo print on demand.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2018

3319961411 / 9783319961415

Softcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 84,32

EUR 7,62 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 4 verfügbar

Zustand: New. Print on Demand.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2018

3319961446 / 9783319961446

Softcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 86,35

EUR 7,62 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 4 verfügbar

Zustand: New. Print on Demand.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2018

3319961411 / 9783319961415

Softcover
Print-on-Demand

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 83,62

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 4 verfügbar

Zustand: New. PRINT ON DEMAND.

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2018

3319961446 / 9783319961446

Softcover
Print-on-Demand

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 88,45

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 4 verfügbar

Zustand: New. PRINT ON DEMAND.

Computer aided verification 30th (19 Ergebnisse)

Optimieren Sie Ihre Suche

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Computer Science and General Issues)

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-

Computer Aided Verification : 30th Inter

Computer Aided Verification : 30th Inter

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification : 30th Inter

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 (Lecture Notes in Computer Science)

Computer Aided Verification : 30th Inter

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 (Lecture Notes in Computer Science)

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

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

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

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

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 (eng)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Computer Science and General Issues)