Conference proceedings on formal methods in software development

Bibliographic Details
Main Author:	Moriconi, Mark (-)
Corporate Authors:	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)
Format:	eBook
Language:	Inglés
Published:	[Place of publication not identified] ACM 1990
Series:	ACM Conferences
Subjects:	Engineering & Applied Sciences Computer Science
See on Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714036806719

Description
Item Description:	Bibliographic Level Mode of Issuance: Monograph
Physical Description:	1 online resource (149 pages)

Similar Items