Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-Y-015-00892

Contatta il venditore

Segnala questo articolo

Dati bibliografici

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

Casa editrice: Cambridge University Press

Data di pubblicazione: 2004

Legatura: Brossura

Condizione: Good

Edizione: seconda edizione

Descrizione articolo

Riassunto:

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

Phatpocket Limited is a world class secondhand bookstore located in the Hertfordshire countryside in the United Kingdom. We specialize in textbooks across an enormous variety of subjects. We aim to provide a low cost source of high quality textbooks to the academic community. We also have a sizable collection of rare and collectible books. We are dedicated to providing our customers with the highest standard of customer service in the bookselling business.Phatpocket Limited is registered in England and Wales: No. 04924751.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Phatpocket Limited
1A The Maltings, Railway Place, Hertford, SG13 7JT, United Kingdom

Condizioni di vendita:

Books are usually shipped within two working days. All of our books have a 14 or 30 day no hassle money back guarantee unless stated otherwise in the book's description. Item must be returned in the exact same condition that it was received. Through our work with The Rainbow Centre and other Charity Partners, we have already given hundreds of young people in Sri Lanka and Africa the vital chance to get an education.

Your satisfaction is extremely important to us and we would be happy to work wit...

Ulteriori informazioni

Condizioni di spedizione:

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.

In spite of our best efforts, a small number of the items in our catalogue may be mispriced or out of stock. If an item's correct price is higher than our stated price, we will, at our discretion, either contact you for instructions before shipping or cancel your order and notify you of such cancellation.

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

Usato - Brossura

Informazioni sull?azienda del venditore