FM'99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

FM'99 - Formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

Bibliographic Details
Corporate Author: World Congress on Formal Methods in the Development of Computing Systems (-)
Other Authors: Wing, Jeanette M., editor literario (editor literario), Woodcock, Jim, editor literario, Davies, Jim, editor literario
Format: Book
Language:Inglés
Published: New York [etc.] : Springer-Verlag 1999
Series:Lecture Notes in Computer Science ; 1708
Subjects:
Programas y sistemas de programación > Congresos, conferencias, etc.
See on Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991009391639708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Description
Physical Description:v. I (XVIII, 937 p.) ; 24 cm
ISBN:9783540665878

Similar Items