Biblioteca da Universidade do Minho

Your cart is empty.
Bjorner,, Dines Formal specification and software development / Dines Bjorner, Cliff B. Jones ; colab. Derek Andrews... [et al.]

Formal specification and software development / Dines Bjorner, Cliff B. Jones ; colab. Derek Andrews... [et al.] . - Englewood Cliffs : Prentice Hall, cop. 1982 . - X, 501 p. 25 cm . - (Prentice-Hall international series in computer science)
0-13-329003-4 (Encadernado)

519.68