Logic in Computer Science: Modelling and Reasoning about Systems

Valutazione media 3,85
( su 40 valutazioni fornite da GoodReads )
 
9780521543101: Logic in Computer Science: Modelling and Reasoning about Systems

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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 to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

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

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

Descrizione del libro:

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.

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

I migliori risultati di ricerca su AbeBooks

Edizione Internazionale
Edizione Internazionale

1.

Mark Ryan; Michael Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Paperback Quantità: > 20
Edizione Internazionale
Da
US_Superfast_Bookstore
(New Castle, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. This is an International Edition Brand New Paperback Same Title Author and Edition as listed. ISBN and Cover design differs. Similar Contents as U.S Edition. Standard Delivery within 6-14 business days ACROSS THE GLOBE. We can ship to PO Box address in US. International Edition Textbooks may bear a label "Not for sale in the U.S. or Canada" or "For sale in Asia only" or similar restrictions- printed only to discourage students from obtaining an affordable copy. US Court has asserted your right to buy and use International edition. Access code/CD may not provided with these editions. We may ship the books from multiple warehouses across the globe including Asia depending upon the availability of inventory. Printed in English. Customer satisfaction guaranteed. Codice libro della libreria US9780521543101

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 14,45
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,32
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

2.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Quantità: 5
Edizione Internazionale
Da
firstbookstore
(New Delhi, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Brand New Paperback International Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Codice libro della libreria AIND-11886

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 24,53
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

3.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Quantità: 2
Edizione Internazionale
Da
EBOOKSTORE2010
(New Delhi, ND, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New. SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB40408

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

4.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Quantità: 2
Edizione Internazionale
Da
Bookshub
(Karol Bagh, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. New. International edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Codice libro della libreria ABE-FEB-40408

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

5.

Huth, Michael; Ryan, Mark
Editore: Cambridge University Press
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Brossura Quantità: > 20
Edizione Internazionale
Da
Sunshine Book Store
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Condizione libro: New. 052154310X This is an International Edition. Brand New, Paperback, Delivery within 6-14 business days, Similar Contents as U.S Edition, ISBN and Cover design may differ, printed in Black & White. Choose Expedited shipping for delivery within 3-8 business days. We do not ship to PO Box, APO , FPO Address. In some instances, subjects such as Management, Accounting, Finance may have different end chapter case studies and exercises. International Edition Textbooks may bear a label "Not for sale in the U.S. or Canada" and "Content may different from U.S. Edition" - printed only to discourage U.S. students from obtaining an affordable copy. The U.S. Supreme Court has asserted your right to purchase international editions, and ruled on this issue. Access code/CD is not provided with these editions , unless specified. We may ship the books from multiple warehouses across the globe, including India depending upon the availability of inventory storage. Customer satisfaction guaranteed. Codice libro della libreria NU9780521543101

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 16,97
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,25
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

6.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Brossura Quantità: 5
Edizione Internazionale
Da
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Paperback International Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Codice libro della libreria AUSBNEW-11886

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

7.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Brossura Quantità: 2
Edizione Internazionale
Da
Basi6 International
(Irving, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New, SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Excellent Customer Service. Codice libro della libreria ABEUSA-40408

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 27,59
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

8.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Paperback Quantità: 5
Edizione Internazionale
Da
PRIORITY BOOKS
(springfield, VA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Softcover Book, Condition: New. 1st Edition. [Please Read Carefully Before Buying], This Is An International Edition. Printed In Black and White. , Book Cover And ISBN No May Be Different From US Edition. Restricted Sales Disclaimer Wordings Not For Sales In USA And Canada May Be Printed On The Cover Of The Book. Standard Shipping 7-14 Business Days. Expedited Shiping 4-8 Business Days. ***WE DO NOT ENTERTAIN BULK ORDERS.*** The Books May Be Ship From Overseas For Inventory Purpose. Codice libro della libreria 329798

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,91
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,32
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

9.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Paperback Quantità: 1
Edizione Internazionale
Da
Nick Book House
(fresno, CA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. New Softcover International Edition, Printed in Black and White, Only USPS Media mail Shipping ONLY, Different ISBN, Same Content As US edition, Book Cover may be Different, in English Language. Codice libro della libreria 15837

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,96
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,25
Da: U.S.A. a: Italia
Destinazione, tempi e costi

10.

Michael Huth
Editore: Cambridge University Press 2004-08-26 (2004)
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Quantità: 3
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 2004-08-26, 2004. Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-BER-00092285

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 48,43
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,45
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro