Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Lecture Notes in Computer Science
Borger, Egon (EDT)
Butler, Michael (EDT)
Bowen, Jonathan P. (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2008年 12月
- ISBN：9783540876021
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：382 p.
- 分類： プログラミング & OS
- DDC分類：004