书籍 Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium的封面

Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium

TFM 2004

出版社

Springer-Verlag

出版时间

2004

ISBN

3540236112

标注页数

249 页

PDF页数

261 页

书籍介绍
在线购买PDF电子书