FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europ - detaljert visning

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings


Utgitt	Berlin : Springer-Verlag , c1993
Omfang	XI, 689 s. : ill.
Emner	Computer software - Development Congresses Programutvikling programutvikling teori
ISBN	0387566627. - 3540566627