Languages
Steffen, Martin.
Overview
| Works: | 0 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
Owe, Olaf.; Telle, Jan Arne.; Congress on Progress and Controversies in Oncological Urology (2000:); Steffen, Martin.; SpringerLink (Online service)
(Electronic resources)
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Steffen, Martin.; Zavattaro, Gianluigi.
(Electronic resources)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
Steffen, Martin.; SpringerLink (Online service); Dams, Dennis.; Roever, Willem Paul.; Hannemann, Ulrich.
(Electronic resources)
Subjects
Software Engineering.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Computer Communication Networks.
Object-oriented programming (Computer science)
Computer science.
Parallel programming (Computer science)
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Electronic data processing- Distributed processing
Computer programs- Correctness.