Computer aided verification 32nd (31 Ergebnisse)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,28

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,28

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I (Paperback or Softback)

Sprache: Englisch

Verlag: Springer 7/16/2020, 2020

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 50,72

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I. Book.

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II (Paperback or Softback)

Sprache: Englisch

Verlag: Springer 7/16/2020, 2020

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 50,72

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part II. Book.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, 12224)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 55,12

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, 12225)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 55,12

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 53,14

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 53,14

EUR 2,35 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,87

EUR 17,75 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 49,01

EUR 17,75 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 54,04

EUR 17,75 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 54,04

EUR 17,75 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Computer Aided Verification : 32nd Inter

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,09

EUR 9,50 Versand

Versand von Irland nach USA

Anzahl: 15 verfügbar

Zustand: New.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, 12225)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 54,46

EUR 17,68 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science, 12224)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 54,46

EUR 17,68 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In English.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 72,11

EUR 3,56 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 649.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 80,96

EUR 3,56 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 648.

Computer Aided Verification : 32nd Inter

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore

Verkäufer/-in mit 5 Sternen

Lahiri, Shuvendu K. (Editor)/ Wang, Chao (Editor)

Zustand: Neu

EUR 77,99

EUR 9,36 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings

Sprache: Englisch

Verlag: Springer-Nature New York Inc, 2020

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Lahiri, Shuvendu K. (Edited by)/ Wang, Chao (Edited by)

Zustand: Neu

EUR 74,43

EUR 17,75 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 688 pages. 9.25x6.10x1.61 inches. In Stock.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part II

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 74,71

EUR 17,75 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 704 pages. 9.25x6.10x1.54 inches. In Stock.

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Chao Wang

Sprache: Englisch

Verlag: Springer, 2020

Softcover

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

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 54,84

EUR 42,18 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.\* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis.\*The conference was held virtually due to the COVID-19 pandemic.…

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Chao Wang

Sprache: Englisch

Verlag: Springer, 2020

Softcover

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

Verkäufer/-in mit 5 Sternen

Shuvendu K. Lahiri (u. a.)

Zustand: Neu

EUR 54,84

EUR 42,34 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.\* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis. \*The conference was held virtually due to the COVID-19 pandemic.…

Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: preigu, Osnabrück, Deutschlandpreigu

Verkäufer/-in mit 5 Sternen

Shuvendu K. Lahiri (u. a.)

Zustand: Neu

EUR 41,45

EUR 70,00 Versand

Versand von Deutschland nach USA

Anzahl: 5 verfügbar

Computer Aided Verification | 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: preigu, Osnabrück, Deutschlandpreigu

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 41,45

EUR 70,00 Versand

Versand von Deutschland nach USA

Anzahl: 5 verfügbar

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part I (Lecture Notes in Computer Science, 12224)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 93,87

EUR 29,59 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Sprache: Englisch

Verlag: Springer 2020-07, 2020

Softcover
Print-on-Demand

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 45,85

EUR 7,68 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 20 verfügbar

PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Sprache: Englisch

Verlag: Springer 2020-07, 2020

Softcover
Print-on-Demand

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 45,98

EUR 7,68 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 20 verfügbar

PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2020

Softcover
Print-on-Demand

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

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 71,01

EUR 7,69 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 4 verfügbar

Zustand: New. Print on Demand pp. 649.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2020

Softcover
Print-on-Demand

Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 71,21

EUR 9,95 Versand

Versand von Deutschland nach USA

Anzahl: 4 verfügbar

Zustand: New. PRINT ON DEMAND pp. 649.

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2020

Softcover
Print-on-Demand

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

Verkäufer/-in mit 4 Sternen