Computer aided verification 27th (20 résultats)

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 53,65

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 62,90

EUR 2,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2015

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,43

EUR 14,07 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2015

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,43

EUR 14,07 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Kroening, Daniel

Langue : anglais

Edité par Springer 2015-07, 2015

Couverture souple

Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,27

EUR 18,19 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

PF. Etat : New.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,41

EUR 17,61 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 67,63

EUR 17,61 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: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Kroening, Daniel (Editor)/ Pasareanu, Corina S. (Editor)

Etat: Neuf

EUR 83,83

EUR 3,50 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. pp. 440.

Computer Aided Verification: 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Langue : anglais

Edité par Springer-Verlag New York Inc, 2015

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 83,04

EUR 14,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

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

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Corina S. P¿s¿reanu

Langue : anglais

Edité par Springer International Publishing, 2015

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 53,49

EUR 63,67 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers present…

Computer Aided Verification | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Daniel Kroening (u. a.)

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 50,40

EUR 70,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Computer Aided Verification | 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening (u. a.)

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : preigu, Osnabrück, Allemagnepreigu

Vendeur avec une évaluation de 5 étoiles

Kroening, Daniel (Editor)/ Pasareanu, Corina S. (Editor)

Etat: Neuf

EUR 50,40

EUR 70,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 86,48

EUR 41,09 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Paperback. Etat : Brand New. 704 pages. 9.25x6.10x1.59 inches. In Stock.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2015

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 251,24

EUR 3,50 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. pp. 636.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2015

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 83,31

EUR 7,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. Print on Demand pp. 440.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2015

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 83,13

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. PRINT ON DEMAND pp. 440.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (eng)

Kroening, Daniel

Langue : anglais

Edité par Springer, 2015

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 79,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 : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Daniel Kroening

Langue : anglais

Edité par Palgrave Macmillan, 2015

Couverture souple
impression à la demande

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 61,89

EUR 65,24 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short pap…

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2015

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 207,92

EUR 7,63 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. Print on Demand pp. 636.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2015

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles