7 treff

Fundamentals of software engineering
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandri...
Bok Engelsk 2003
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2003
The art and craft of computing
Ceri, Stefano
Bok Engelsk 1998
Formal methods for real-time computing
edited by Constance Heitmeyer and Dino Ma...
Bok Engelsk 1996
Advances in object-oriented software engineering
edited by Dino Mandrioli and Bertrand Mey...
Bok Engelsk 1992
Fundamentals of software engineering
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandri...
Bok Engelsk 1991
Theoretical foundations of computer science
Dino Mandrioli, Carlo Ghezzi
Bok Engelsk 1987