語系
ISoLA (Symposium) (2022 :)
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Leveraging applications of formal methods, verification and validation = verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part I /
by:
ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = practice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part IV /
by:
ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part III /
by:
ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = software engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part II /
by:
ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
Data Structures and Information Theory.
Control Structures and Microprogramming.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer software- Verification
Computer System Implementation.