語系
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.
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.