語系
Steffen, Bernhard.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Steffen, Bernhard.; Margaria, Tiziana.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II /
by:
Steffen, Bernhard.; Margaria, Tiziana.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II /
by:
Steffen, Bernhard.; Margaria, Tiziana.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I /
by:
Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Artificial Intelligence (incl. Robotics)
Computer software- Validation
Operating Systems.
Computer Communication Networks.
Computer software- Verification
Computation by Abstract Devices.
Data Mining and Knowledge Discovery.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)