Computer aided verification 32nd (31 résultats)

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,36

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,36

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer 7/16/2020, 2020

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 50,80

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : 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)

Langue : anglais

Edité par Springer 7/16/2020, 2020

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 50,80

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,20

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 55,20

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 53,22

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 53,22

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,80

EUR 17,73 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 48,94

EUR 17,73 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 53,96

EUR 17,73 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 53,96

EUR 17,73 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Computer Aided Verification : 32nd Inter

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,09

EUR 9,50 expédition

Expédition depuis Irlande vers Etats-Unis

Quantité disponible : 15 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,37

EUR 17,66 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,37

EUR 17,66 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 72,23

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 81,09

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 648.

Computer Aided Verification : 32nd Inter

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 78,12

EUR 9,38 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

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

Langue : anglais

Edité par Springer-Nature New York Inc, 2020

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

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

Etat: Neuf

EUR 74,32

EUR 17,73 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : 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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 74,59

EUR 17,73 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : 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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 54,84

EUR 42,18 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Taschenbuch. Etat : 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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

Vendeur avec une évaluation de 5 étoiles

Shuvendu K. Lahiri (u. a.)

Etat: Neuf

EUR 54,84

EUR 42,34 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Taschenbuch. Etat : 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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Shuvendu K. Lahiri (u. a.)

Etat: Neuf

EUR 41,45

EUR 70,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponibles

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 41,45

EUR 70,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponibles

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

Langue : anglais

Edité par Springer, 2020

Couverture souple

Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 93,73

EUR 29,54 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : 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

Langue : anglais

Edité par Springer 2020-07, 2020

Couverture souple
impression à la demande

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 45,78

EUR 7,67 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 20 disponibles

PF. Etat : 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

Langue : anglais

Edité par Springer 2020-07, 2020

Couverture souple
impression à la demande

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 45,91

EUR 7,67 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 20 disponibles

PF. Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 71,12

EUR 7,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 71,21

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : 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)

Langue : anglais

Edité par Springer, 2020

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles