Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
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.
카테고리:
년:
2008
출판사:
The MIT Press
언어:
english
페이지:
984
ISBN 10:
1435643275
ISBN 13:
9781435643277
파일:
PDF, 4.40 MB
IPFS:
,
english, 2008