Montant total (1 article articles) :
Destination de la commande :
computer aided verification (831 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (831)
- 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
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (343)
- Sans impressions à la demande (503)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
Vendeur : Bookmonger.Ltd, HILLSIDE, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,79
Expédition à EUR 3,51
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Fine. Mint condition.
-
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,79
Expédition à EUR 6,13
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
ISBN 10 : 3540423451 ISBN 13 : 9783540423454
Bonne affaireEUR 5,55
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Bonne affaire
EUR 5,84
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science 531)
Langue: anglais
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 0387544771 ISBN 13 : 9780387544779
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,11
Expédition à EUR 14,67
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 531; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)
Vendeur : Bookmans, Tucson, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,75
Expédition à EUR 3,50
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. . Satisfaction 100% guaranteed.
-
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,99
Expédition à EUR 6,13
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings (Lecture Notes in Computer Science, 697)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,49
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,49
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science, 939)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,71
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science 939)
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,02
Expédition à EUR 3,95
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. *Price HAS BEEN REDUCED by 10% until Monday, July 13 (SALE Item)* 451 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, 575)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,30
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,30
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,32
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,66
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 43,79
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)
Vendeur : Marlton Books, Bridgeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,65
Expédition à EUR 2,63
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.
-
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Vendeur : Alien Bindings, BALTIMORE, MD, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Edition originale
EUR 45,12
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : As New. No Jacket. First Edition. The covers look great. The binding is tight. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge.
-
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
Vendeur : Marlton Books, Bridgeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,44
Expédition à EUR 2,63
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2024.
-
Computer Aided Verification (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,22
Expédition à EUR 8
Expédition depuis Italie vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : new.
-
Computer Aided Verification : 17th International Conference, Cav 2005 Edinburgh, Scotland, UK, July 6-10, 2005 Proceedings
Langue: anglais
Edité par Springer Berlin / Heidelberg, 2005
ISBN 10 : 3540272313 ISBN 13 : 9783540272311
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,60
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Vendeur : Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 2,24
Expédition à EUR 45
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Gebraucht - Sehr gut Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction. 656 pp. Englisch.
-
Computer Aided Verification (Paperback)
Langue: anglais
Edité par Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031656261 ISBN 13 : 9783031656262
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,77
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 2427, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Computer Aided Verification : 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 46,40
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Vendeur : Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 2,99
Expédition à EUR 45
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Gebraucht - Sehr gut Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction. 656 pp. Englisch.
-
Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Langue: anglais
Edité par Springer Berlin / Heidelberg, 1994
ISBN 10 : 3540581790 ISBN 13 : 9783540581796
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,67
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 1994th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Computer Aided Verification : 33rd International Conference, Cav 2021, Virtual Event, July 20?23, 2021, Proceedings, Part II
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,54
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computer-Aided Verification of Coordinating Processes
Langue: anglais
Edité par Princeton University Press, 1995
ISBN 10 : 0691034362 ISBN 13 : 9780691034362
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,58
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Langue: anglais
Edité par Springer Berlin / Heidelberg, 1993
ISBN 10 : 3540564969 ISBN 13 : 9783540564966
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,70
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Computer Aided Verification
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 45,73
Expédition à EUR 7,63
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 584 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
