Computer aided verification 28th (24 résultats)

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,09

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science, 9779)

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 62,52

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Computer Aided Verification : 28th International Conference, Proceedings

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Swarat Chaudhuri, Azadeh Farzan

Etat: Occasion - Comme neuf

EUR 64,56

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: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2016-07-14, 2016

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Swarat Chaudhuri, Azadeh Farzan

Etat: Neuf

EUR 58,39

EUR 18,30 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponibles

Paperback. Etat : New.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2016-07-14, 2016

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,43

EUR 18,30 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponibles

Paperback. Etat : New.

Computer Aided Verification : 28th International Conference, Proceedings

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 76,52

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Computer Aided Verification : 28th International Conference, Proceedings

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,46

EUR 17,72 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science, 9780)

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 68,09

EUR 13,34 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science, 9779)

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 68,09

EUR 13,34 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

Computer Aided Verification : 28th International Conference, Proceedings

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 68,07

EUR 17,72 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: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

Chaudhuri, Swarat (Editor)/ Farzan, Azadeh (Editor)

Etat: Neuf

EUR 88,14

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 540.

Computer Aided Verification: 28th International Conference, Proceedings

Langue : anglais

Edité par Springer-Verlag New York Inc, 2016

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 85,48

EUR 14,77 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 540 pages. 9.25x6.10x1.18 inches. In Stock.

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Azadeh Farzan

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 64,47

EUR 35,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.…

Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Azadeh Farzan

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 64,47

EUR 35,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.…

Computer Aided Verification | 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Swarat Chaudhuri (u. a.)

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 50,45

EUR 70,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponibles

Computer Aided Verification | 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Swarat Chaudhuri (u. a.)

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Chaudhuri, Swarat (Editor)/ Farzan, Azadeh (Editor)

Etat: Neuf

EUR 50,45

EUR 70,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponibles

Computer Aided Verification: 28th International Conference, Proceedings

Langue : anglais

Edité par Springer-Verlag New York Inc, 2016

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 85,80

EUR 41,35 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 560 pages. 9.25x6.10x1.27 inches. In Stock.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science, 9780)

Langue : anglais

Edité par Springer, 2016

Couverture souple

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

Vendeur avec une évaluation de 4 étoiles

Etat: Occasion - Comme neuf

EUR 120,47

EUR 29,54 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Computer Aided Verification : 28th International Conference, Proceedings

Langue : anglais

Edité par Springer, 2016

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 152,00

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : As New. Unread book in perfect condition.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2016

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 87,91

EUR 7,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. Print on Demand pp. 540.

Computer Aided Verification: 28th International Conference, Proceedings: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, . I: 9779 (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2016

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 89,13

EUR 7,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. Print on Demand pp. 558.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2016

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 86,73

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. PRINT ON DEMAND pp. 540.

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (eng)

Chaudhuri, Swarat

Langue : anglais

Edité par Springer, 2016

Couverture souple
impression à la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 46,22

EUR 51,00 expédition

Expédition depuis Italie vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

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

Computer Aided Verification: 28th International Conference, Proceedings: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, . I: 9779 (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2016

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles