The Locator -- [(author = "Jones C B Cliff B 1944-")]

The Locator -- [(author = "Jones C B Cliff B 1944-")]

14 records matched your query

Record 14 | Previous Record | MARC Display | Next Record | Search Results

Author:: Bjørner, D. (Dines), 1937-
Title:: Formal specification and software development / Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.].
Publisher:: Prentice/Hall International,
Copyright Date:: c1982
Description:: x, 501 p. : ill. ; 25 cm.
Subject:: Electronic digital computers--Programming.
Programming languages (Electronic computers)
Other Authors:: Jones, C. B. (Cliff B.), 1944-
Notes:: Includes index. Bibliography: p. 461-487.
Series:: Prentice-Hall International series in computer science
ISBN:: 9780133290035
0133290034
LCCN:: 82007656
Locations:: OVUX522 -- University of Iowa Libraries (Iowa City)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.