Montant total (1 article articles) :
Destination de la commande :
model checking software (369 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (369)
- 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 (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 (186)
- Sans impressions à la demande (260)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Model Checking Software
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,39
Expédition à EUR 5,97
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.
-
Systems and Software Verification: Model-Checking Techniques and Tools
Vendeur : Goodwill of Silicon Valley, SAN JOSE, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,78
Expédition à EUR 3,41
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
-
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,65
Expédition à EUR 5,97
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. Text block clean and unmarked. Tight binding.
-
Systems and Software Verification: Model-Checking Techniques and Tools
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,12
Expédition à EUR 15,70
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237.
-
Systems and Software Verification: Model-Checking Techniques and Tools
Vendeur : PAPER CAVALIER UK, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 23,53
Expédition à EUR 6,93
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
-
Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Langue: anglais
Edité par Springer Berlin / Heidelberg, 2005
ISBN 10 : 3540281959 ISBN 13 : 9783540281955
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,54
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Model Checking Software
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 25,29
Expédition à EUR 7,50
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 308 Illus.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 33,19
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.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 33,29
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.
-
Model Checking Software
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 29,89
Expédition à EUR 3,41
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 308.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 34,45
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 34,74
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science 5156)
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 31,10
Expédition à EUR 3,84
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. 343 pp., Paperback, very good. - 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.
-
Model Checking Software
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 25,69
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 308.
-
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, 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 31,49
Expédition à EUR 5,97
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.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,15
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.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,25
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.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 40,96
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 41,41
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
On model checking the dynamics of object-based software
Langue: anglais
Edité par Twente University Press, 2003
ISBN 10 : 9036519756 ISBN 13 : 9789036519755
Vendeur : Stony Hill Books, Madison, WI, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 39,56
Expédition à EUR 4,69
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : Fine. Larger format academic softcover 312 pagfes Fine condition clean tight unmarked.
-
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8â"9, 2024, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 41,14
Expédition à EUR 4,26
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Fine.
-
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 21,99
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Auflage: 2000. 356 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 293 23,4 x 15,2 x 2,0 cm, Taschenbuch.
-
Improving Scalability of Model Checking Software Architectures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,13
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Improving Scalability of Model Checking Software Architectures (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,46
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Improving Scalability of Model Checking Software Architectures. Book.
-
Improving Scalability of Model Checking Software Architectures
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,95
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Model Checking Software : 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7?8, 2025, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,18
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software: 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings (Lecture Notes in Computer Science)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 54,51
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 26th International Symposium, Spin 2019, Beijing, China, July 15?16, 2019, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,46
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 12th International SPIN Workshop, San Francisco, Ca, USA, August 22-24, 2005, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,57
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Edition internationaleMODEL CHECKING SOFTWARE 12TH INTERNATIONAL SPIN WORKSHOP SAN FRANCISCO CA USA AUGUST 22 24 2005 PROCEEDINGS (PB 2005)
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,76
Expédition à EUR 6,92
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
