Vista normal Vista MARC Vista ISBD

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, (eds.) - 689 páginas - Lecture notes in computer science ; 670 . - Lecture notes in computer science .

ISBN: 3-540-56662-7 (Berlin : papel libre de acido)

Subjects--Topical Terms:
Software para computadora--Desarrollo--Congresos

LC Class. No.: QA76.76D47 / I577 1993