語系
Poetzsch-Heffter, Arnd.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal techniques for distributed systems = Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
by:
Poetzsch-Heffter, Arnd.; Lee, David.; SpringerLink (Online service); Lopes, Antonia.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Programming Techniques.
Computer Science.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronic data processing- Distributed processing
Object-oriented programming (Computer science)