Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development
- Author / Creator
- Conferences
- ACM Sigsoft International Workshop on Formal Methods in Software Development (1990 : Napa, Calif.)
- Available as
- Physical
Details
Checking for availability...
- Creator
- edited by Mark Moriconi ; Napa, California, USA, 9-11 May, 1990
- Included Titles
-
- ACM Digital Library conferences
- Conference proceedings on Formal methods in software development
- Format
- Books
- Language
- English
- Publication
-
- New York : Association for Computing Machinery, 1990
- Physical Details
-
- xii, 149 pages ; 28 cm
- ISBNs
- 9780897914154, 0897914155
- OCLC
- ocm22867752
- "September 1990."
- Includes bibliographical references and index.
- Also available on the World Wide Web via ACM Digital Library with the title: Conference proceedings on Formal methods in software development.