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.

Descripci�n de la librer�a

Todos nuestros art�culos son de librer�as o descatalogados de editoriales eso hace que la mayoria de nuestros libros esten como nuevos.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

NUEVO CL. SLU
CALLE GRANDA,6, SANT ANDREU DE LA BARCA, 08740, Spain

Condiciones de venta y env�o

Condiciones de venta

Casa de Libros te garantiza el estado del libro seg�n se indica en la p�gina web de AbeBooks.
Aceptamos el pago con targeta de credito,tranferencia bancaria Paypal
Los pedidos Nacionales son entregados en 24/48 horas.Los env�os internacionales pueden tardar entre 4 y 6 d�as.
Los libros podr�n ser devuelto dentro de los 30 d�as siguientes a la compra Si desea realizar cualquier consulta, solo tiene que ponerse en contacto con nosotros, ese mismo d�a puede quedar resuelta

Derecho a cancelaci�n

Condiciones de env�o

Los gastos de env�o est�n calculados sobre un peso estimado de 1 KG por libro. Si comprobamos que el peso real es demasiado grande, nos pondremos en contacto con usted para comunicarle que gasto de env�o adicional es requerido. Las tarifas internacionales son validas para pedidos que no superen 2 kg
Espa�a Peninsular
Gastos de env�o de 4,00 euros con n�mero de seguimiento de 2 a 3 d�as
Europa (excepto Espa�a)
Todos los env�os son certificados con n�mero de seguimiento
De 3 a 7 d�as ........... 16€
Resto del mundo
Todos los env�os son certificados con n�mero de seguimiento
De 10 a15 d�as ......... 28 €

Tarifas de env�o de Espa�a a Estados Unidos de America

Tarifas de env�o de Espa�a a Estados Unidos de America
Cantidad del pedido	De 10 a 16 d�as h�biles	De 9 a 15 d�as h�biles
Primer art�culo	EUR 50.00	EUR 75.00

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.