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


Papers were arranged in topical sections on theorem proving, probabilistic model checking, testing, equipment, and explicitly state Petri nets, scheduling, problem solving, timed systems, case studies, software, temporal logic, abstractions, and techniques of automata.

Computer eBook Details

IT Book Reviews

Computer Ebook Author

IT Book Categories

Book Subject

logic mathematics formal methods logic in computer science theoretical computer science petri net finite model theory model checking concurrency automated theorem proving construction and analysis of distributed processes

Buy this Book

Borrow or Download eBook

Grab