International Symposium of Formal Methods Europe (2005 :)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Techniques.
Formal methods (Computer science)
System design- Congresses.
Programming Languages, Compilers, Interpreters.
Computer software- Development
Computer Science.