語系
ISoLA (Symposium) (2020 :)
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Leveraging applications of formal methods, verification and validation = verification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part I /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part IV /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part III /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = engineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part II /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer software- Verification
Computer System Implementation.
Blockchains (Databases)