Book is in acceptable condition and shows signs of wear. Book may also include underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

N� de ref. del art�culo ZEV.052154310X.A

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Logic in Computer Science: Modelling and Reasoning about Systems

Editor

Cambridge University Press

Fecha de publicaci�n

2004

Idioma

Ingl�s

ISBN 10

052154310X

ISBN 13

9780521543101

Encuadernaci�n

Encuadernaci�n de tapa blanda

Edici�n

2� Edici�n

Estado

acceptable

Cat�logos de vendedores

Acerca de

Sinopsis

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Cr�ticas

'... an unusual, inspiring and remarkable book ... one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH

'The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications.' Phinews

'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical ...' Zentralblatt MATH

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

Descripci�n de la librer�a

Zoom Books Company operates an online book store striving to provide top tier customer service. We respond to all inquiries and resolve any complaints in a timely manner. Thank you for shopping with us!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Acirassi Books Ltd.
918 16th Ave NW, #25, Calgary, AB, T2M0K3, Canada

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

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

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 14 a 26 d�as h�biles	De 10 a 21 d�as h�biles
Primer art�culo	EUR 64.87	EUR 75.11

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.