語系
Woodcock, Jim.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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:)
(書目-電子資源)
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:)
(書目-電子資源)
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.
(書目-電子資源)
主題
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.