語系
ISoLA (Symposium) (2021 :)
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
Leucker, Martin.; Havelund, Klaus, (1955-); SpringerLink (Online service); ISoLA (Symposium) (2021 :); Falcone, Ylies.; Bartocci, Ezio.
(書目-電子資源)
Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings /
by:
ISoLA (Symposium) (2021 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Theory of Computation.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
Artificial Intelligence.
Computer software- Verification
Computer Applications.