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)
(書目-語言資料,印刷品)
主題
System design.
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Object-oriented methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer logic.
Software engineering.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
System design
Cooperating objects (Computer systems)
Cyber-Physical Systems.
Digital twins (Computer simulation)
Computer science.
Management information systems.
Computers.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.