Baier Christel, Katoen Jost-Pieter:
Principles Of Model Checking

Mit Press Ltd (United States), 2008
Hardback, 936 pages
Size: 254x203 mm
ISBN: 9780262026499
ISBN-10: 026202649X

Our price: £39.91
List price: £46.95
You save: 15%

Usually ships within 2 weeks.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Principles Of Model Checking

Presents a comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. This book introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics.

Related links:

Christel Baier
Jost-Pieter Katoen
General theory of computing
Computing and information technology
Mit Press Ltd

More information from Wikipedia:

Christel Baier
Jost-Pieter Katoen
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Economics

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |