Conference proceedings on formal methods in software development

Detalles Bibliográficos
Autor principal:	Moriconi, Mark (-)
Autores Corporativos:	ACM Sigsoft International Workshop on Formal Methods in Software Development Corporate Author (corporate author), ACM Sigsoft International Workshop on Formal Methods in Software Development (-), ACM Sigsoft Content Provider (content provider)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] ACM 1990
Colección:	ACM Conferences
Materias:	Engineering & Applied Sciences Computer Science
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714036806719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (149 pages)

Ejemplares similares