2
0
0
0
0
Specification of software systems [electronic resource]
- 作者: Alagar, V.S.
- 其他作者:
- 出版: London : Springer-Verlag London Limited
- 版本:2nd ed.
- 叢書名: Texts in computer science
- 主題: Formal methods (Computer science) , Software engineering , Computer science , Software engineering , Programming Languages, Compilers, Interpreters. , Logics and Meanings of Programs.
- ISBN: 9780857292773 (electronic bk.) 、 9780857292766 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
-
讀者標籤:
- 系統號: 005069301 | 機讀編目格式