Oliveira, Jose Nuno.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(1998 :); Gibbons, Jeremy.; Oliveira, Jose Nuno.; SpringerLink (Online service)
(書目-電子資源)
FME 2001formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /
by:
(1998 :); Oliveira, Jose Nuno.; SpringerLink (Online service); Zave, Pamela.
(書目-電子資源)
Mathematics of program construction5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings /
by:
(1998 :); Backhouse, Roland.; Oliveira, Jose Nuno.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer science
Computer Science.