书籍 Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio的封面

Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio

出版社

Springer-Verlag

出版时间

2006

ISBN

9783540496991

标注页数

255 页

PDF页数

266 页

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