Logic computer science modelling reasoning par huth (37 résultats)
- Couverture souple
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-UnisThriftBooks-Dallas
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 12,86
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Couverture souple
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-UnisThriftBooks-Atlanta
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 12,86
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 12,86
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : ThriftBooks-Reno, Reno, NV, Etats-UnisThriftBooks-Reno
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 12,93
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-UniBetter World Books Ltd
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 8,43
EUR 5,79 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Moyen
EUR 5,18
EUR 15,74 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521656023.
- Couverture souple
Vendeur : Zoom Books East, Glendale Heights, IL, Etats-UnisZoom Books East
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 21,64
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 19,24
EUR 3,24 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Couverture souple
Vendeur : Evergreen Goodwill, Seattle, WA, Etats-UnisEvergreen Goodwill
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 19,24
EUR 3,44 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : Good.
- Couverture souple
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-UnisThriftBooks-Dallas
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 22,90
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Couverture souple
Vendeur : Textbooks_Source, Columbia, MO, Etats-UnisTextbooks_Source
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 19,37
EUR 3,44 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : Good. 2nd Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Langue : anglais
Edité par Cambridge University Press, United Kingdom, Cambridge 1999
- Couverture souple
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-UniWorldofBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 17,19
EUR 6,48 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This… book addresses these needs by providing a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Couverture souple
- Édition internationale
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesÉdition internationaleEtat: Neuf
EUR 32,60
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Etat : New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed o…n the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
- Couverture souple
Vendeur : SMASS Sellers, IRVING, TX, Etats-UnisSMASS Sellers
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 33,83
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Etat : New. Brand New, Softcover edition. This item may ship from the US or our Overseas warehouse depending on your location and stock availability.
- Couverture souple
- Édition internationale
Vendeur : Aideo Books, San Marino, CA, Etats-UnisAideo Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesÉdition internationaleEtat: Neuf
EUR 31,07
EUR 4,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Soft cover. Etat : New. Etat de la jaquette : New. International Edition. ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition.… The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service.
- Couverture souple
- Édition internationale
Vendeur : Sizzler Texts, SAN GABRIEL, CA, Etats-UnisSizzler Texts
Contacter le vendeurVendeur avec une évaluation de 5 étoilesÉdition internationaleEtat: Neuf
EUR 26,61
EUR 8,62 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Soft cover. Etat : New. Etat de la jaquette : New. International Edition. **INTERNATIONAL EDITION** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. T…he book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments go through via USPS/UPS/DHL with tracking numbers. Great professional textbook selling experience and expedite shipping service.
Langue : anglais
Edité par Cambridge India 2005
- Couverture souple
Vendeur : Books in my Basket, New Delhi, , IndeBooks in my Basket
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 16,00
EUR 20,00 expéditionExpédition depuis Inde vers Etats-UnisQuantité disponible : 3 disponible(s)
Soft cover. Etat : New. ISBN:9780521670890,Territorial restriction maybe printed on the book. This is an Int'l edition, ISBN and cover may differ from US edition, Contents same as US edition.
- Couverture souple
Vendeur : medimops, Berlin, Allemagnemedimops
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 35,06
EUR 10,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 45,19
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : medimops, Berlin, Allemagnemedimops
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 37,67
EUR 10,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
- Couverture souple
Vendeur : Books From California, Simi Valley, CA, Etats-UnisBooks From California
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Très bon
EUR 53,70
EUR 4,30 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : Fine.
- Couverture souple
Vendeur : Librería Vobiscum, SAN VICENTE DEL RASPEIG, A, EspagneLibrería Vobiscum
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 34,00
EUR 30,95 expéditionExpédition depuis Espagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Bueno. Cambridge 2004. Cambridge University Press. Rústica. 427 pp. 25x17. Texto en INGLÉS.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 74,23
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 59,49
EUR 17,36 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 81,72
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Chiron Media, Wallingford, , Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 67,62
EUR 17,93 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : New.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 72,77
EUR 13,86 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 70,59
EUR 17,36 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 79,81
EUR 10,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. 2004. 2nd Edition. Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College)…. Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768. . . . . .
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 79,91
EUR 17,36 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
