Howar, Falk.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(1998 :); Barnat, Jiri.; Howar, Falk.; SpringerLink (Online service)
(書目-電子資源)
Tests and proofs18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(1998 :); Howar, Falk.; Huisman, Marieke.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
Informal Logic.
Computer software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programs
The Computing Profession.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Models of Computation.