Mathematical Logic for Computer Science

Mordechai Ben-Ari

ISBN 10: 1447141288 ISBN 13: 9781447141280
Editorial: Springer London Ltd, 2012
Nuevos Encuadernación de tapa blanda

Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 27 de febrero de 2001

Este artículo en concreto ya no está disponible.

Descripción

Descripción:

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

Denunciar este artículo

Sinopsis:

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.

Acerca del autor:

Mordechai (Moti) Ben-Ari is with the Department of Science Teaching at the Weizmann Institute of Science. He is a Distinguished Educator of the ACM and has received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.

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

Detalles bibliográficos

Título: Mathematical Logic for Computer Science
Editorial: Springer London Ltd
Año de publicación: 2012
Encuadernación: Encuadernación de tapa blanda
Condición: New
Edición: 3ª Edición

Los mejores resultados en AbeBooks

Imagen de archivo

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Antiguo o usado Paperback

Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 17,87
Convertir moneda
Gastos de envío: EUR 6,45
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Antiguo o usado Paperback

Librería: HPB-Red, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 19,46
Convertir moneda
Gastos de envío: EUR 3,22
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ben-Ari, Mordechai
Publicado por Springer, London, UK, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Antiguo o usado Soft cover

Librería: Robert Fulgham, Bookseller, Idaho Falls, ID, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 27,50
Convertir moneda
Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Antiguo o usado paperback

Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

paperback. 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). Nº de ref. del artículo: 001233021U

Contactar al vendedor

Comprar usado

EUR 28,34
Convertir moneda
Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen de archivo

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Antiguo o usado Tapa blanda

Librería: Anybook.com, Lincoln, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar usado

EUR 40,32
Convertir moneda
Gastos de envío: EUR 14,89
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Antiguo o usado Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condició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. Nº de ref. del artículo: 17848445-5

Contactar al vendedor

Comprar usado

EUR 45,61
Convertir moneda
Gastos de envío: EUR 17,26
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo paperback

Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Contactar al vendedor

Comprar nuevo

EUR 50,98
Convertir moneda
Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 6 disponibles

Añadir al carrito

Imagen del vendedor

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 17848445-n

Contactar al vendedor

Comprar nuevo

EUR 52,16
Convertir moneda
Gastos de envío: EUR 2,27
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Ben-Ari, Mordechai
Publicado por Springer, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condició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. Nº de ref. del artículo: 17848445-5

Contactar al vendedor

Comprar usado

EUR 54,52
Convertir moneda
Gastos de envío: EUR 2,27
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen del vendedor

Mordechai Ben-Ari
Publicado por Springer London, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Nuevo Tapa blanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 4184874

Contactar al vendedor

Comprar nuevo

EUR 55,78
Convertir moneda
Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 28 copia(s) de este libro

Ver todos los resultados de su búsqueda