Modal and Temporal Properties of Processes Colin Stirling

ISBN:

Published: July 1st 2001

Kindle Edition

191 pages


Description

Modal and Temporal Properties of Processes  by  Colin Stirling

Modal and Temporal Properties of Processes by Colin Stirling
July 1st 2001 | Kindle Edition | PDF, EPUB, FB2, DjVu, talking book, mp3, RTF | 191 pages | ISBN: | 7.45 Mb

In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suitedMoreIn recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Modal and Temporal Properties of Processes":


zellamsee.pl

©2011-2015 | DMCA | Contact us