BESTEBOOKDOWNLOAD

 

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proce

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proce

Edition:1

Author(s) :Patrice Godefroid (auth.), Corina S. Păsăreanu (eds.)

Year :2009

ISBN :9783642026515, 3642026516

Pages :297[304]

Language :English

Extension :pdf

Size :6 Mb (6439028)

Summary : 暂无

About book:

Book category:2009

Book views:383

Eidt day:2017-04-16




Relation book:

Deep-sky video astronomy

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, ...


Comments Listing:
Comments Form:
超便宜kindle版电子书