2
0
0
0
0
Verification of sequential and concurrent programs [electronic resource]
- 作者: Apt, Krzysztof R.
- 其他作者:
- 出版: London : Springer-Verlag London
- 版本:3rd ed.
- 叢書名: Texts in computer science
- 主題: Computer software--Verification , Computer science , Logics and Meanings of Programs. , Mathematical Logic and Formal Languages.
- ISBN: 9781848827455 (electronic bk.) 、 9781848827448 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
-
讀者標籤:
- 系統號: 005046359 | 機讀編目格式