The Use of Formal Specification of Software

June 25-27, 1979, Berlin (Springer Series in Optical Sciences)

The Use of Formal Specification of Software
H. K. Berg, H. K. Berg
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by LC Bot
December 28, 2011 | History

The Use of Formal Specification of Software

June 25-27, 1979, Berlin (Springer Series in Optical Sciences)

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

Publish Date
Publisher
Springer
Language
English
Pages
388

Buy this book

Book Details


Edition Identifiers

Open Library
OL7442891M
ISBN 10
0387104429
ISBN 13
9780387104423
Goodreads
3725957

Work Identifiers

Work ID
OL8053827W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 28, 2011 Edited by LC Bot import new book
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
December 14, 2009 Edited by WorkBot link works
April 29, 2008 Created by an anonymous user Imported from amazon.com record