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