Systems and software verification : model-checking techniques and tools
- 種類:
- 図書
- 責任表示:
- B. Bérard ...(et al.)
- 出版情報:
- Berlin ; New York : Springer, c2001
- 著者名:
- Bérard, Béatrice
- ISBN:
- 9783540415237 [3540415238]
- 注記:
- Includes bibliographical references and index
Updated version of the French language edition: "Vérification de logiciels. Techniques et outils du model-checking"
類似資料:
Springer |
O'Reilly & Associates, c1989 |
O'Reilly & Associates | |
Springer |
O'Reilly & Associates |
O'Reilly & Associates | |
O'Reilly & Associates |
Springer Science+Business Media, LLC |
O'Reilly & Associates |