FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Eu - detaljert visning

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings


Utgitt	Berlin : Springer , c1994
Omfang	XI, 723 s. : ill.
Emner	Computer software - Development Congresses Programutvikling formelle metoder programmeringsteknikker programmering
ISBN	0387585559. - 3540585559