044 209 91 25 079 869 90 44
Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Modal and Temporal Properties of Processes

BookHardcover
Ranking52218inInformatik EDV
CHF120.00

Description

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 suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
More descriptions

Details

ISBN/GTIN978-0-387-98717-0
Product TypeBook
BindingHardcover
Publishing date06/07/2001
SeriesTexts in Computer Science
Pages191 pages
LanguageEnglish
SizeWidth 178 mm, Height 235 mm
Weight560 g
IllustrationsXII, 191 p. 2 illus., schwarz-weiss Illustrationen
Article no.1585916
CatalogsBuchzentrum
Data source no.8644958
Product groupInformatik EDV
More details

Series

Author

More products from Stirling, Colin