Proceedings of FMSP '00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA '00

Proceedings of FMSP '00 the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA '00

Bibliographic Details
Corporate Authors: Workshop on Formal Methods in Software Practice (-), Association for Computing Machinery. Special Interest Group on Software Engineering, International Symposium on Software Testing and Analysis
Other Authors: Heimdahl, Mats P. E. (-)
Format: Book
Language:Inglés
Published: New York : ACM 2000.
Subjects:
Software > congresos y asambleas.
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991002097259703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Item Description:Indice
Physical Description:VII, 112 p. : il. ; 28 cm
Bibliography:Bibliogr.
ISBN:9781581132625

Similar Items