Dams, Dennis.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Theoretical and practical aspects of SPIN model checking5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
by:
(1998 :); Dams, Dennis.; SpringerLink (Online service)
(Electronic resources)
FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(1998 :); Cavalcanti, Ana.; Dams, Dennis.; SpringerLink (Online service)
(Electronic resources)
Concurrency, compositionality, and correctnessessays in honor of Willem-Paul de Roever /
by:
Dams, Dennis.; Hannemann, Ulrich.; Roever, Willem Paul.; SpringerLink (Online service); Steffen, Martin.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Parallel programming (Computer science)
Computer programs
Computer Science.
Computer science.