ID: 16822
Nº de chamada: 681.3.06-B626f
ISBN: 0133290034
Autor: Bjorner, D. (Dines), 1937-
Título: Formal specification and software development / Dines Bjorner and Cliff B. Jones in collaboration with Derek Andrews ... [et al.]. -
Local: Englewood Cliffs [Estados Unidos]
Editor: Prentice Hall
Ano: 1982.
Descrição física: x, 501p.
Notas: GE00005429-8
Inclui índice.
Bibliografia: p. 461-487.

Assuntos: Software
Autor Secundária: Andrews, Derek; Jones, C. B. (Cliff B.), 1944-