Fitzgerald, John.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
FM 2016formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(1998 :); Fitzgerald, John.; SpringerLink (Online service)
(書目-電子資源)
FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(1998 :); Fitzgerald, John.; Hayes, Ian J.; SpringerLink (Online service); Tarlecki, Andrzej.
(書目-電子資源)
Collaborative design for embedded systemsco-modelling and co-simulation /
by:
Fitzgerald, John.; Larsen, Peter Gorm.; SpringerLink (Online service); Verhoef, Marcel.
(書目-電子資源)
FME '97, industrial applications and strengthened foundations of formal methods4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings /
by:
(1998 :); Fitzgerald, John.; Jones, Cliff B.; Lucas, Peter.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Discrete Mathematics in Computer Science
Logics and Meanings of Programs.
Computer Engineering.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Computation by Abstract Devices.
Computational complexity
Computer Science
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Software Engineering/Programming and Operating Systems
Circuits and Systems.
Embedded computer systems
Computer Science.
Simulation and Modeling.
Software Engineering