Languages
Woodcock, Jim.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
by:
Woodcock, Jim.; Oliveira, Marcel Vinicius Medeiros.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
Woodcock, Jim.; Shankar, N.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Meyer, Bertrand.; SpringerLink (Online service); Woodcock, Jim.
(Electronic resources)
Subjects
Software Engineering.
Management of Computing and Information Systems.
Formal methods (Computer science)
Artificial Intelligence (incl. Robotics)
Computer software.
Operating Systems.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Models and Principles.
Programming Techniques.
Computer Science.
Computer programs- Verification
Programming Languages, Compilers, Interpreters.