Loading...

Formal specification and software development

Bibliographic Details
Main Author: Bjorner, Diner
Other Authors: Jones, Cliff B.
Format: Printed Book
Language:English
Published: New Jersy Prentice-hall international 1982
Series:Printice-Hall International series in computer science
Subjects:

UL

Holdings details from UL
Call Number: 004.414.38 BJO
Copy Live Status Unavailable