EUR 8,72
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
EUR 14,93
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.05.
EUR 19,20
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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!
Da: Robert Fulgham, Bookseller, Idaho Falls, ID, U.S.A.
EUR 27,14
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Fine. 3rd Edition. Fine softcover. Unread. Clean, bright and tight. No writing or other marks. We wrap and box our books for shipping.
EUR 27,96
Convertire valutaQuantità: 6 disponibili
Aggiungi al carrellopaperback. Condizione: Good. 3rd ed. 2012. 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).
EUR 31,43
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. New Copy. Customer Service Guaranteed.
Da: NEPO UG, Rüsselsheim am Main, Germania
EUR 21,88
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. 320 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 24,1 x 17,8 x 1,9 cm, Taschenbuch.
EUR 51,48
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 50,31
Convertire valutaQuantità: 6 disponibili
Aggiungi al carrellopaperback. Condizione: New. 3rd ed. 2012. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
EUR 40,12
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9781447141280.
EUR 54,05
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: 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.
EUR 57,97
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
EUR 45,38
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: 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.
EUR 60,86
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 60,99
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 56,64
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
EUR 60,51
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 68,95
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 68,95
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Editore: Springer London Ltd, England, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
EUR 69,93
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
EUR 73,54
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 59,64
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 79,44
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: new.
Editore: Springer London Ltd, United Kingdom, England, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Lingua: Inglese
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
EUR 77,71
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
EUR 69,74
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 67,72
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 68,72
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
EUR 73,66
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 581.
EUR 90,84
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 3rd ed. 2012. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
EUR 89,27
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 364 3rd Edition.