Oliveira, Jose Nuno.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
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.