Mathematical Logic for Computer Science

 
9781447141280: Mathematical Logic for Computer Science
Ver todas las copias de esta edición ISBN.
 
 
Críticas:

Asst. Prof. Manoj Raut, Dhirubhai Ambani Institute of Information and Communication Technology, India

Excerpts from full review posted Jan 15 2013 to Computing Reviews [Review #: CR140831]

I have used the second edition of this book for my class. I find this new third edition more interesting and more elaborately written; I like it very much, and applaud the author for his work.

Reseña del editor:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Mordechai Ben-Ari
Publicado por Springer London Ltd, United Kingdom (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Paperback Cantidad disponible: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, United Kingdom, 2012. Paperback. Condición: New. 3rd ed. 2012. Language: English . Brand New Book. 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. Nº de ref. del artículo: AAZ9781447141280

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 41,65
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Mordechai Ben-Ari
Publicado por Springer London Ltd, United Kingdom (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Paperback Cantidad disponible: 1
Librería
Book Depository International
(London, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, United Kingdom, 2012. Paperback. Condición: New. 3rd ed. 2012. Language: English . Brand New Book. 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. Nº de ref. del artículo: AAZ9781447141280

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 46,01
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Mordechai Ben-Ari
Publicado por Springer London 2012-06-15, London (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo paperback Cantidad disponible: 10
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Springer London 2012-06-15, London, 2012. paperback. Condición: New. Nº de ref. del artículo: 9781447141280

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 39,75
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,81
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Mordechai Ben-Ari
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Cantidad disponible: 1
Librería
Speedy Hen LLC
(Sunrise, FL, Estados Unidos de America)
Valoración
[?]

Descripción Condición: New. Bookseller Inventory # ST1447141288. Nº de ref. del artículo: ST1447141288

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 46,63
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Mordechai Ben-Ari
Publicado por Springer London Ltd (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Cantidad disponible: 1
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, 2012. PAP. Condición: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. del artículo: GB-9781447141280

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 36,87
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,22
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Ben-Ari, Mordechai
Publicado por Springer London Ltd (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Cantidad disponible: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer London Ltd, 2012. PAP. Condición: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: IQ-9781447141280

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 44,18
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,26
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Mordechai Ben-Ari
Publicado por Springer
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Paperback Cantidad disponible: 4
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción Springer. Paperback. Condición: New. New copy - Usually dispatched within 2 working days. Nº de ref. del artículo: B9781447141280

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 40,60
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 7,88
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Mordechai Ben-Ari
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Cantidad disponible: 1
Librería
BWB
(Valley Stream, NY, Estados Unidos de America)
Valoración
[?]

Descripción Condición: New. Depending on your location, this item may ship from the US or UK. Nº de ref. del artículo: 97814471412800000000

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 51,20
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Mordechai Ben-Ari
Publicado por Springer (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Tapa blanda Cantidad disponible: 2
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2012. Condición: New. book. Nº de ref. del artículo: ria9781447141280_rkm

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 49,24
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,39
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Mordechai Ben-Ari
Publicado por Springer (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Tapa blanda Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Springer, 2012. Condición: New. Nº de ref. del artículo: L9781447141280

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 50,67
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda