**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. Bestandsnummer des Verk�ufers ABE-1611142720667

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Logic in Computer Science: Modelling and ...

Verlag: Cambridge University Press

Erscheinungsdatum: 2004

Einband: Soft cover

Zustand: New

Zustand des Schutzumschlags: New

Auflage: International Edition

�ber diesen Titel

Inhaltsangabe:

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

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Sizzler Texts
CA, U.S.A.

Gesch�ftsbedingungen:

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.

Versandinformationen:

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.

Zahlungsarten
akzeptiert von diesem Verk�ufer

PayPal

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Logic in Computer Science: Modelling and Reasoning...

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edition

Huth, Michael

Neu - Softcover

Unternehmensdaten des Verk�ufers