Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
あらすじ
この書籍について
- 言語 English
- 商品番号：9783319254234
- 発売日 2015年11月30日
- 出版社：Springer International Publishing
- 出版社： Springer
- ファイル形式 EPUB2
- サイズ 8.35 MB
- ダウンロードオプション:EPUB2 (Adobe DRM)
シリーズの内容
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler,Alexander Raschke,Thai Son Hoang,Klaus Reichl
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler,Miklos Biro,Klaus-Dieter Schewe,Atif Mashkoor
