※一部利用できない機能があります
Automated theorem proving in software engineering
類似資料:
American Mathematical Society |
Wiley |
Prentice Hall | |
Hybrid | |
Springer Berlin Heidelberg | |
Springer New York |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |