Model Checking, 2nd Ed (MIT Press)
Wednesday, 05 December 2018

Part of the Cyber Physical Systems Series, this is the second edition of a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. Author Edmund M. Clark, Jr was one of the developers of the technique, in which algorithms are used to work out whether an abstract model―representing, for example, a hardware or software design―satisfies a formal specification expressed as a temporal logic formula.  

<ASIN:0262038838>

 

Author: Edmund M. Clark, Jr
Publisher: MIT Press
Date: December 2018
Pages: 424
ISBN: 978-0262038836
Print: 0262038838
Kindle: B07KZMNWHX
Audience: Researchers and developers interested in model checking.
Level: Advanced
Category: Theory & Techniques 

 This second edition reflects the advances in model checking, and the book has been reorganized, expanded, and updated, with new chapters that cover topics that did not exist in 1999 when the first edition appeared: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking.

For more Book Watch just click.

Book Watch is I Programmer's listing of new books and is compiled using publishers' publicity material. It is not to be read as a review where we provide an independent assessment. Some, but by no means all, of the books in Book Watch are eventually reviewed.

To have new titles included in Book Watch contact  BookWatch@i-programmer.info

Follow @bookwatchiprog on Twitter or subscribe to I Programmer's Books RSS feed for each day's new addition to Book Watch and for new reviews.

 

 

Banner
 


Python Machine Learning, 3rd Ed

Authors: Sebastian Raschka and Vahid Mirjalili
Publisher: Packt
Date: December 2019
Pages: 770
ISBN: 978-1789955750
Print: 1789955750
Kindle: B07VBLX2W7
Audience: Python devs interested in ML
Rating: 5
Reviewer: Mike James
A new edition of a good book on ML is worth a close look.



SQL Queries for Mere Mortals 4th Ed

Author: John L. Viescas
Publisher: Addison Wesley
Pages: 960
ISBN: 978-0134858333
Print: 0134858336
Kindle: B079G27STM
Audience: Developers working with data
Rating: 5
Reviewer:Kay Ewbank

This is an updated version of a classic book teaching SQL. It's an excellent choice if you don't know SQL a [ ... ]


More Reviews