Actions for Conference proceedings on formal methods in software development [electronic resource]

Email RIS file
Bookmark
Report an Issue

Conference proceedings on formal methods in software development [electronic resource] / editor Mark Moriconi ; sponsor ACM Special Interest Group on Software Engineering

Conference Author
ACM Sigsoft International Workshop on Formal Methods in Software Development (1990 : Napa, Calif.)
Published
New York : ACM, 1990.
Physical Description
1 online resource (149 pages)
Additional Creators
ACM Sigsoft
Access Online

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
License restrictions may limit access.
Subject(s)
Genre(s)
ISBN
9780897914154 (print)
View MARC record | catkey: 11949618