Articles liés à Computer Aided Verification
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Computer Aided Verification Constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. This title addresses the issues in computer aided verification and model checking - from foundational and methodological issues to the evaluation of major tools and systems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur :
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking? from foundational and methodological issues to the evaluation of major tools and systems? are addressed.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2007
- ISBN 10 3540733671
- ISBN 13 9783540733676
- ReliureBroché
- Nombre de pages584
- ÉditeurDamm Werner
Acheter neuf
En savoir plus sur cette édition
EUR 30,34
Frais de port :
EUR 3,68
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Computer Aided Verification
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 584. N° de réf. du vendeur 26301368
Acheter neuf
EUR 30,34
Autre devise
Image d'archives
Computer Aided Verification
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : 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. N° de réf. du vendeur 7546599
Acheter neuf
EUR 29,08
Autre devise
Image d'archives
Computer Aided Verification
Edité par
SP SPRINGER
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : Brand New. Brand New! Fast Delivery , Delivery with in 6-9 working Day Only , Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. Our courier service is not available at PO BOX& APO BOX. N° de réf. du vendeur CBSN 9783540733676
Acheter neuf
EUR 41,15
Autre devise
Image fournie par le vendeur
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science) [Paperback ]
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783540733676
Acheter neuf
EUR 53,65
Autre devise
Image d'archives
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020175889
Acheter neuf
EUR 56,97
Autre devise
Image d'archives
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540733676_lsuk
Acheter neuf
EUR 59,22
Autre devise
Image d'archives
Computer Aided Verification
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT23-193048
Acheter neuf
EUR 76,19
Autre devise
Image d'archives
Computer Aided Verification
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. N° de réf. du vendeur ABTR-218086
Acheter neuf
EUR 76,19
Autre devise
Image fournie par le vendeur
Computer Aided Verification
Edité par
Springer Berlin Heidelberg Jul 2007
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking-from foundational and methodological issues to the evaluation of major tools and systems-are addressed. 584 pp. Englisch. N° de réf. du vendeur 9783540733676
Acheter neuf
EUR 53,49
Autre devise
Image d'archives
Computer Aided Verification
Edité par
Springer
(2007)
ISBN 10 : 3540733671
ISBN 13 : 9783540733676
Neuf
Couverture souple
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. N° de réf. du vendeur ABRR-218086
Acheter neuf
EUR 79,31
Autre devise