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 .
<br/><br/><label>ISBN: </label>3-540-56662-7  (Berlin : papel libre de acido) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software para computadora--Desarrollo--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.76D47  / I577 1993