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


Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
Bok Engelsk 1994 International Symposium of Formal Methods Europe
Utgitt
Berlin : Springer , c1994
Omfang
XI, 723 s. : ill.
Emner
Computer software - Development Congresses
Programutvikling
formelle metoder programmeringsteknikker programmering
ISBN
0387585559. - 3540585559

Bibliotek som har denne