Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
EUR 14,46
Convertir monedaCantidad 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 1.05.
Librería: NEPO UG, Rüsselsheim am Main, Alemania
EUR 21,88
Convertir monedaCantidad 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: Better World Books, Mishawaka, IN, Estados Unidos de America
EUR 14,18
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
EUR 40,51
Convertir monedaCantidad 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.
EUR 46,14
Convertir monedaCantidad disponible: 1 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.
EUR 45,83
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: 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 61,11
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,83
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 54,88
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 70,04
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 55,78
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New.
EUR 60,27
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 72,92
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,82
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 74,24
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 581.
EUR 69,16
Convertir monedaCantidad 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.
Librería: Goodwill of Silicon Valley, SAN JOSE, CA, Estados Unidos de America
EUR 8,86
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 58,57
Convertir monedaCantidad 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.
EUR 68,56
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 69,40
Convertir monedaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Publicado por Springer London Ltd, GB, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Idioma: Inglés
Librería: Rarewaves.com UK, London, Reino Unido
EUR 85,32
Convertir monedaCantidad 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: Textbooks_Source, Columbia, MO, Estados Unidos de America
EUR 26,78
Convertir monedaCantidad disponible: 8 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).
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 91,69
Convertir monedaCantidad 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: Robert Fulgham, Bookseller, Idaho Falls, ID, Estados Unidos de America
EUR 27,57
Convertir monedaCantidad 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: Books Puddle, New York, NY, Estados Unidos de America
EUR 90,76
Convertir monedaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 364 3rd Edition.
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
Convertir monedaCantidad 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 93,13
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 3rd edition. 346 pages. 9.00x6.00x0.75 inches. In Stock.
EUR 19,51
Convertir monedaCantidad 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: Textbooks_Source, Columbia, MO, Estados Unidos de America
EUR 53,69
Convertir monedaCantidad disponible: 6 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).
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 61,96
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.