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.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Electronic data processing- Distributed processing
Computation by Abstract Devices.
Computer programs- Correctness.