Fitzgerald, John.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
SpringerLink (Online service); Fitzgerald, John.; Philippou, Anna.; Heitmeyer, Constance.; Gnesi, Stefania.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Fitzgerald, John.; SpringerLink (Online service)
(書目-語言資料,印刷品)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
Hayes, Ian J.; Tarlecki, Andrzej.; SpringerLink (Online service); Fitzgerald, John.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Validated Designs for Object-oriented Systems
by:
Fitzgerald, John.; SpringerLink (Online service)
(書目-語言資料,印刷品)
The engineering of digital twins
by:
Gomes, Cláudio.; Larsen, P. G.; Fitzgerald, John.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software engineering.
Cooperating objects (Computer systems)
Computers.
Object-oriented methods (Computer science)
Management of Computing and Information Systems.
Computer software
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Techniques.
Mathematical Logic and Formal Languages.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Digital twins (Computer simulation)
Logics and Meanings of Programs.
System design.
Computer logic.
Computer Science.
Cyber-Physical Systems.
Computer science.
Management information systems.
Discrete Mathematics in Computer Science.
Mathematical logic.
Programming Languages, Compilers, Interpreters.
System design