Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Tools and Algorithms for the Construction and Analysis of Systems


Add Book to List

Please select a book list

Add
Home / Book / Tools and Algorithms for the Construction and Analysis of Systems


Previews

Amazon Readr

Share this Great Computer eBook

Link to this page

Our Collection

PrevNext


The papers are organized in topical sections on models and memory, consistency invariants and termination, timed and probabilistic systems, interpolation and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Computer eBook Details

  • ISBN-10: 3642198341
  • ISBN-13: 9783642198342
  • Publisher: Springer
  • Pages: 410
  • Date: April 2011

IT Book Reviews

Computer Ebook Author

IT Book Categories

Book Subject

logic mathematics formal methods mathematical logic logic in computer science finite model theory model checking model checkers uclid

Buy this Book

Borrow or Download eBook

Grab