Proceedings of the third Workshop on Formal Methods in Software Practice

Proceedings of the third Workshop on Formal Methods in Software Practice

Detalles Bibliográficos
Autor principal: Heimdahl, Mats P. E. (-)
Autores Corporativos: Workshop on Formal Methods in Software Practice Corporate Author (corporate author), Workshop on Formal Methods in Software Practice (-), ACM Sigsoft Content Provider (content provider)
Otros Autores: Heimdahl, Mats P. E. Contributor (contributor)
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2000
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713830306719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (112 pages)

Ejemplares similares