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.

Recensione:

'... 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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Labyrinth is an acclaimed independent bookstore serving the students and faculty of Princeton University as well as the town of Princeton and beyond. As the official bookstore for Princeton University, our independent store specializes in academic books for scholars, and we can always be relied upon to provide those books that form the backbone of current debates both inside and outside of the universities. We also carry books of broad and general interest: contemporary and classic literature, poetry, current events, history, philosophy, theology, cookbooks, comics, and books for children. We offer a large selection of constantly-changing inventory, daily sales and deep discounts on most books, used and antiquarian titles.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Great Jones Books, Inc.
27 Route 31 South, Pennington, NJ, 08534, U.S.A.

Condizioni di vendita:

Purchase will be shipped upon receipt of payment including any additional shipping costs. NJ residents add appropriate sales tax. If you are dissatisfied (Incorrect Item/Not as Described/Damaged) or if the order has not arrived by the latest estimated delivery date, you maybe be eligible for a refund within 30 days of the estimated delivery date. Please contact us for any other return inquiries, and we will respond within 2 business days.

Condizioni di spedizione:

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 lbs or less, or 1 kg. Heavy or oversized books may require additional shipping charges.

Domestic shipping: Under 2.2 lbs
Media Mail $4.00 per book + $1.00 for each additional book
Priority Mail $7.00 per book + $3.00 for each additional book

Standard Shipping orders will be delivered via UPS Ground and USPS Media Mail, typically 2-5 business days for in-stock items. In-stock items will generally ship by the next business day.

Please note: While the overwhelming majority of packages shipped via USPS Media Mail arrive within the time specified above, in rare cases shipments can take up to 3 to 5 weeks to arrive. Media Mail shipments to Alaska, Hawaii, Guam, Puerto Rico and APO/FPO addresses can take up 3 to 8 weeks to arrive.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Logic in Computer Science: Modelling and Reasoning...

Logic in Computer Science: Modelling and Reasoning about Systems

Huth, Michael

Nuovi - Brossura

Informazioni sull?azienda del venditore