Montant total (1 article articles) :
Destination de la commande :
computer aided verification 30th (16 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (16)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (16)
- Comme neuf, Très bon ou Bon (Aucun autre résultat ne correspond à ces critères)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (16)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (4)
- Sans impressions à la demande (14)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
- Livraison gratuite à destination de Etats-Unis (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,50
Expédition à EUR 13,80
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,85
Expédition à EUR 13,80
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July . Part II (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,92
Expédition à EUR 17,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,11
Expédition à EUR 17,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Computer Aided Verification : 30th Inter
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,13
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Computer Aided Verification : 30th Inter
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 79,13
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
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)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 90,09
Expédition à EUR 14,40
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 568 pages. 9.25x6.10x1.06 inches. In Stock.
-
Computer Aided Verification : 30th Inter
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 97,33
Expédition à EUR 9,14
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Computer Aided Verification : 30th Inter
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 98,59
Expédition à EUR 9,14
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
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)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 92,55
Expédition à EUR 17,28
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 724 pages. 9.25x6.10x2.05 inches. In Stock.
-
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
Langue: anglais
Edité par Springer International Publishing, Springer International Publishing, 2018
ISBN 10 : 3319961411 ISBN 13 : 9783319961415
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 64,25
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. Thepapers cover a wide range of topics and techniques, from algorithmicand logical foundations of verification to practical applications in distributed,networked, cyber-physical, and autonomous systems.They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
-
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
Langue: anglais
Edité par Springer International Publishing, Springer International Publishing, 2018
ISBN 10 : 3319961446 ISBN 13 : 9783319961446
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 65,39
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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 together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. Thepapers cover a wide range of topics and techniques, from algorithmicand logical foundations of verification to practical applications in distributed,networked, cyber-physical, and autonomous systems.They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. 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.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2018 | Springer | EAN 9783319961415 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. 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.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2018 | Springer | EAN 9783319961446 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
EUR 46,22
Expédition à EUR 11
Expédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 77,88
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.
