Pol, Jaco van de.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
Pol, Jaco van de.; Weber, Michael.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by:
Pol, Jaco van de.; Romijn, Judi M.T.; Smith, Graeme P.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2005 :)
(書目-語言資料,印刷品)
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
SPIN (Computer file)
Formal methods (Computer science)
Computer Science
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Programming Techniques
Computer software- Verification
Computer Science.
Logics and Meanings of Programs
Software Engineering