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
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 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. Nº de ref. del artículo: AAZ9781447141280

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

Comprar nuevo
EUR 48,90
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
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 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. Nº de ref. del artículo: AAZ9781447141280

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: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Mordechai Ben-Ari
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Cantidad disponible: 2
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 51,66
Convertir moneda

Añadir al carrito

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

4.

Mordechai Ben-Ari (author)
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 47,17
Convertir moneda

Añadir al carrito

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

5.

BenAri,
Publicado por Springer London Ltd (2012)
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Cantidad disponible: 2
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 46,10
Convertir moneda

Añadir al carrito

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

6.

Mordechai Ben-Ari
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 55,10
Convertir moneda

Añadir al carrito

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

7.

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

Descripción Springer London Ltd. 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 51,13
Convertir moneda

Añadir al carrito

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

8.

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

Descripción Springer, 2012. Condición: New. 2012. 3rd ed. 2012. Paperback. 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. Num Pages: 361 pages, 79 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 166 x 19. Weight in Grams: 568. . . . . . . Nº de ref. del artículo: V9781447141280

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

Comprar nuevo
EUR 60,30
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda 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: 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 58,84
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

10.

Ben-Ari, Mordechai
Publicado por Springer
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo PAPERBACK Cantidad disponible: 2
Librería
WFL
(Holtsville, NY, Estados Unidos de America)
Valoración
[?]

Descripción Springer. PAPERBACK. Condición: New. 1447141288 Brand New ,Original Book , Direct from Source , Express 6-8 business days worldwide delivery. Nº de ref. del artículo: DG#IJ198185

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

Comprar nuevo
EUR 57,91
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,20
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