Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
Systematic software development using VDM by Series: Prentice Hall International series in computer science
Edition: 2nd ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Nueva York : [S.n.], c1990
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.2 JON .

Place hold
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings by Series: Lecture notes in computer science ; 1313
Edition: 1st ed.
Material type: Text Text; Literary form: Not fiction
Publication details: Berlín : Springer, c1997
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 FME97 .

Place hold
Pages