Montant total (1 article articles) :
Destination de la commande :
huth michael ryan mark (25 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (25)
- 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 (12)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (9)
- 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 (25)
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 (12)
- Sans impressions à la demande (22)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Logic in Computer Science : Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 1999
ISBN 10 : 0521656028 ISBN 13 : 9780521656023
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,48
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 2 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.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 1999
ISBN 10 : 0521656028 ISBN 13 : 9780521656023
Vendeur : ThriftBooks-Reno, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 15,41
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 1999
ISBN 10 : 0521656028 ISBN 13 : 9780521656023
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 15,41
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 1999
ISBN 10 : 0521656028 ISBN 13 : 9780521656023
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 15,41
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Logic in Computer Science
Langue: anglais
Edité par Cambridge University Press, 2005
ISBN 10 : 0521670896 ISBN 13 : 9780521670890
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 19,47
Expédition à EUR 7,64
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. pp. 441.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Zoom Books East, Glendale Heights, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,66
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Bay State Book Company, North Smithfield, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,72
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : very_good.
-
Logic in Computer Science : Modelling and Reasoning About Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,89
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Librería Vobiscum, SAN VICENTE DEL RASPEIG, A, Espagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 34
Expédition à EUR 30,95
Expédition depuis Espagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Bueno. Cambridge 2004. Cambridge University Press. Rústica. 427 pp. 25x17. Texto en INGLÉS.
-
Logic in Computer Science : Modelling and Reasoning About Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 70,57
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Logic in Computer Science : Modelling and Reasoning About Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 75,47
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.
-
Logic in Computer Science : Modelling and Reasoning About Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,28
Expédition à EUR 17,64
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Logic in Computer Science
Langue: anglais
Edité par Cambridge University Press, GB, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 85,76
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
-
Logic in Computer Science : Modelling and Reasoning About Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 71,71
Expédition à EUR 17,64
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,94
Expédition à EUR 14,09
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Logic in Computer Science : Modelling and Reasoning About Systems
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 81,17
Expédition à EUR 17,64
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Logic in Computer Science
Langue: anglais
Edité par Cambridge University Press CUP, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 114,29
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. xiv + 427 Index 2nd Edition.
-
Logic in Computer Science
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
EUR 76,19
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expan.
-
Logic in Computer Science: Modelling and Reasoning about Systems
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 119,89
Expédition à EUR 14,70
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2nd edition. 427 pages. 9.75x7.00x1.00 inches. In Stock.
-
Logic in Computer Science 2ed
Langue: anglais
Edité par Cambridge University Press, 2019
ISBN 10 : 052154310X ISBN 13 : 9780521543101
EUR 33,21
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 442 | Sprache: Englisch | Produktart: Bücher | The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8.
-
Logic in Computer Science
Langue: anglais
Edité par Cambridge University Press, GB, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,03
Expédition à EUR 76,43
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
-
Logic in Computer Science - Modelling and reasoning about systems
Vendeur : Antiquariat Der Papiersammler, Wetter, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 30,50
Expédition à EUR 38,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panier2000, , 387, Softcover (kartoniert), 8°, ohne Schutzumschlag, Englisch, Einband: leicht bestoßen, leicht fleckig, Seiten: minimal gebräunt,
-
Logic in Computer Science: Modelling and Reasoning about Systems
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,31
Expédition à EUR 14,70
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2nd edition. 427 pages. 9.75x7.00x1.00 inches. In Stock. This item is printed on demand.
-
Logic in Computer Science
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 116,71
Expédition à EUR 7,64
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. xiv + 427 120 Figures, Illus.
-
Logic in Computer Science
Langue: anglais
Edité par Cambridge University Press, 2004
ISBN 10 : 052154310X ISBN 13 : 9780521543101
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 114,88
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. xiv + 427.
