Unfoldings: A Partial-Order Approach to Model Checking

2014-02-01 分类：计算机、互联网

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

Hardcover: 172 pages

Publisher: Springer (March 27, 2008)

Language: English

ISBN-10: 3540774254

代发服务PDF电子书10元立即求助

1111

 打赏