Librería: Wonder Book, Frederick, MD, Estados Unidos de America
EUR 13,47
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
EUR 11,03
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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!
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
EUR 14,56
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
EUR 14,56
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
EUR 9,86
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America
EUR 27,06
Cantidad disponible: 5 disponibles
Añadir al carritopaperback. Condición: 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).
Librería: Robert Fulgham, Bookseller, Idaho Falls, ID, Estados Unidos de America
EUR 27,55
Cantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Fine. 3rd Edition. Fine softcover. Unread. Clean, bright and tight. No writing or other marks. We wrap and box our books for shipping.
Librería: NEPO UG, Rüsselsheim am Main, Alemania
EUR 21,88
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America
EUR 48,52
Cantidad disponible: 9 disponibles
Añadir al carritopaperback. Condición: 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 39,82
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,07
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 61,42
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 61,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 68,49
Cantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 69,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
EUR 69,98
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
EUR 74,66
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
EUR 63,30
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 69,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 68,22
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 68,65
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por Springer London Ltd, GB, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Idioma: Inglés
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 86,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: 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.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 89,83
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 364 3rd Edition.
EUR 92,85
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 3rd edition. 346 pages. 9.00x6.00x0.75 inches. In Stock.
EUR 55,78
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: La Casa de los Libros, Castellgali, B, España
EUR 62,39
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Usado.
Publicado por Springer London Jun 2012, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 64,19
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.
EUR 58,60
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Mathematical Logic for Computer Science | Mordechai Ben-Ari | Taschenbuch | xv | Englisch | 2012 | Springer | EAN 9781447141280 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 69,16
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.