Dams, Dennis.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(1998 :); Cavalcanti, Ana.; Dams, Dennis.; SpringerLink (Online service)
(書目-電子資源)
Concurrency, compositionality, and correctnessessays in honor of Willem-Paul de Roever /
by:
Dams, Dennis.; Hannemann, Ulrich.; Roever, Willem Paul.; SpringerLink (Online service); Steffen, Martin.
(書目-電子資源)
主題
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.