FME '97 : industrial applications and strengthened foundations of formal methods : 4th International - detaljert visning

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings


Utgitt	Berlin : Springer , c1997
Omfang	XIII, 684 s. : ill.
Emner	System design - Methodology Congresses Programutvikling programmering formelle metoder
ISBN	3540635335