Principles of model checking / Christel Baier, Joost-Pieter Katoen

発売日2008年1月発売中

著者

Katoen, Joost-Pieter/Baier, Christel

出版社

The MIT Press

新刊発見日

2017年3月18日

最終更新

2018年11月10日 06:22

ISBN/EAN

9780262026499

Amazon で購入他のサイト

Powerd by openBD