Montant total (1 article articles) :
Destination de la commande :
model checking software (366 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (366)
- 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 (180)
- Sans impressions à la demande (255)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Systems and Software Verification: Model-Checking Techniques and Tools
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,19
Expédition à EUR 15,79
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 5 sur 5 étoiles
EUR 23,66
Expédition à EUR 6,97
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
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,97
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 : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,97
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
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 33,22
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 26,11
Expédition à EUR 7,55
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 308 Illus.
-
Model Checking Software
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 30,45
Expédition à EUR 3,50
Expédition nationale : Etats-UnisQuantité disponible : 1 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,21
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,89
Expédition à EUR 3,94
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 26,19
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 308.
-
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 5 sur 5 étoiles
EUR 40,61
Expédition à EUR 4,82
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.
-
Improving Scalability of Model Checking Software Architectures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,38
Expédition à EUR 2,31
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 50,77
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 52,01
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 51,33
Expédition à EUR 2,31
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 (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,72
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Model Checking Software: 31st International Symposium, Spin 2025, Hamilton, On, Canada, May 7-8, 2025, Proceedings. Book.
-
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,18
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,52
Expédition à EUR 2,31
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 55,95
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,68
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,19
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,56
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,56
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,95
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Book.
-
Model Checking Software (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,95
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Model Checking Software. Book.
-
Model Checking Software : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,73
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
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 57,57
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Model Checking Software : 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,88
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software : 22nd International Symposium, Spin 2015
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,98
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Theoretical Computer Science and General Issues)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 61,37
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
