Principles of Model Checking (Instructor Solution Manual, Solutions)
Christel Baier, Joost-Pieter Katoen년:
2008
판:
1
출판사:
The MIT Press
언어:
english
페이지:
106
ISBN 10:
026202649X
ISBN 13:
9780262026499
시리즈:
The MIT Press
파일:
PDF, 1005 KB
IPFS:
,
english, 2008