Languages
Poetzsch-Heffter, Arnd.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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:)
(Electronic resources)
Subjects
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)