Formal specification and software development / Dines Bjorner, Cliff B. Jones; colab. Derek Andrews... [et al.]
Main Author
Bjorner, Dines
Coauthor
Jones, Cliff B., 1944-
Secondary Author
Andrews, Derek
Country
Estados Unidos.
Publication
Englewood Cliffs : Prentice Hall, cop. 1982
Description
X, 501 p. ;
25 cm
Series
Prentice-Hall international series in computer science
ISBN
0-13-329003-4
CDU
519.68
There are no comments for this item.