Start Over Please hold this item Export MARC Display
 
     
Limit search to available items
Record: Previous Record Next Record
Conference ACM Sigsoft International Workshop on Formal Methods in Software Development (1990 : Napa, Calif.)
ACM Sigsoft International Workshop on Formal Methods in Software Development (1990 : Napa, Calif.)
Title Conference proceedings on formal methods in software development [electronic resource] / editor Mark Moriconi ; sponsor ACM Special Interest Group on Software Engineering.
Publication Info New York : ACM, 1990.


Subject Computer software -- Development -- Congresses.
Descript 1 online resource (149 pages)
Alt author ACM Sigsoft.
ISBN 9780897914154 (print)

Links and services for this item: