Verification of Sequential and Concurrent Programs
Texts in Computer Science
Apt, Krzysztof R.
De Boer, Frank S.
Olderog, Ernst-Rudiger
- 出版社：Springer-Verlag New York Inc
- 出版年月：2012年 03月
- ISBN：9781447125136
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：3RD
- 巻数・ページ数：526 p.
- DDC分類：005