An edition of Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development (1990)

Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Proceedings of the ACM SIGSOFT International ...
ACM Sigsoft International Work ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 16, 2023 | History
Edit
An edition of Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development (1990)

Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Association for Computing Machinery
Language
English
Pages
149

Check nearby libraries

Buy this book

Subjects

Development, Congresses, Computer software

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Proceedings of the ACM Sigsoft International Workshop on Formal Methods in Software Development
Proceedings of the ACM Sigsoft International Workshop on Formal Methods in Software Development: Napa, California, USA, 9-11 May 1990 (Software engineering notes)
1990, ACM Order Dept. [distributor]
Unknown Binding in English
Libraries near you: WorldCat
Cover of: Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development
1990, Association for Computing Machinery
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

"September 1990."

Includes bibliographical references and index.

Published in
New York
Series
Software engineering notes -- v. 15, no. 4.
Genre
Congresses.

The Physical Object

Pagination
xii, 149 p. ;
Number of pages
149

ID Numbers

Open Library
OL18502470M
ISBN 10
0897914155
OCLC/WorldCat
22867752

Source records

Oregon Libraries MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
March 16, 2023 Edited by ImportBot import existing book
January 23, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page