Full Description
The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
-
- 電子書籍
- 二度目の人生、敵たちを後悔させてみせま…
-
- DVD
- バイオレーター
