**INTERNATIONAL EDITION** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments go through via USPS/UPS/DHL with tracking numbers. Great professional textbook selling experience and expedite shipping service.

N� de ref. del art�culo ABE-1611142720667

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edition
Editor: Cambridge University Press
Fecha de publicaci�n: 2004
Idioma: Ingl�s
ISBN 10: 052154310X
ISBN 13: 9780521543101
Encuadernaci�n: Soft cover
Edici�n: International Edition
Estado: New
Estado de la sobrecubierta: New

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Sizzler Texts
CA, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a
book that you've ordered, please use the Ask bookseller a question link to contact
us and we'll respond within 2 business days.

Condiciones de env�o

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

The information of European Union requirements:
Name of business: Mvesi. Inc, S-Corp. USA. Business Address: 1308 E Colorado Blvd, Pasadena, CA 91106, USA. Phone support unavailable, contact us by email of wizokko@aol.com or though the website, fax number: 206-426-3565.