Montant total (1 article articles) :
Destination de la commande :
computer aided verification 22nd (6 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (6)
- 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 (3)
- Comme neuf, Très bon ou Bon (2)
- 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 (1)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (6)
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 (2)
- Sans impressions à la demande (6)
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 : 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 122,65
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Computer Aided Verification : 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 128,67
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
-
Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
Langue: anglais
Edité par Springer-Verlag New York Inc, 2010
ISBN 10 : 364214294X ISBN 13 : 9783642142949
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 158,48
Expédition à EUR 14,46
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 692 pages. 9.00x6.00x1.00 inches. In Stock.
-
EUR 67,03
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
EUR 69,04
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Langue: anglais
Edité par Springer, Berlin, Springer, 2010
ISBN 10 : 364214294X ISBN 13 : 9783642142949
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 148,42
Expédition à EUR 64,77
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri cation (CAV) held in Edinburgh, UK, July 15 19 2010. CAV is dedicated to the advancement of the theory and practice of comput- assistedformalanalysismethods forsoftwareandhardwaresystems.Theconf- ence covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri cation tools and the algorithms and techniques that are needed for their implementation. We received 145 submissions: 101 submissions of regular papers and 44 s- missions of tool papers. These submissions went through a meticulous review process;eachsubmissionwasreviewedbyatleast 4,andonaverage4.2 Program Committee members. Authors had the opportunity to respond to the initial - views during an author response period. This helped the Program Committee members to select 51 papers: 34 regular papers and 17 tool papers. In addition to the accepted papers, the program also included: Five invited talks: Policy Monitoring in First-Order Temporal Logic, by David Basin (ETH Zurich) Retro tting Legacy Code for Security, by Somesh Jha (University of Wisconsin-Madison) Induction, Invariants, and Abstraction, by Deepak Kapur (University of New Mexico) Quantitative Information Flow: From Theory to Practice by Pasquale Malacaria (Queen Mary University) and Memory Management in Concurrent Algorithms, by Maged Michael (IBM) Four invited tutorials: ABC: An Academic Industrial-Strength Veri cation Tool, by Robert Brayton (University of California, Berkeley) SoftwareModelChecking,byKennethMcMillan(CadenceBerkeleyLabs) There s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code, by Thomas Reps (University of Wisconsin-Madison) and.
