The MIT Press Principles of Model Checking
Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
TEAM DDU
ISBN : 9780262026499
ISBN : 9780262026499
카테고리:
년:
2008
출판사:
MIT Press
언어:
english
ISBN 10:
026202649X
ISBN 13:
9780262026499
파일:
PDF, 17.06 MB
IPFS:
,
english, 2008