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.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer software.
Operating Systems.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Models and Principles.
Computer Science.
Programming Techniques.
Computer programs- Verification
Programming Languages, Compilers, Interpreters.