Title Formal specification and software development / Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... [and others]

Published Englewood Cliffs, N.J. : Prentice/Hall International, [1982] ©1982

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.1 Bjo		AVAILABLE

Description x, 501 pages : illustrations ; 25 cm Series Prentice-Hall international series in computer science Prentice-Hall international series in computer science. Contents Includes index Analysis Computer systems Software Development Notes Includes index Bibliography Bibliography: pages 461-487 Subject Computer programming. Computer software -- Development. Programming languages (Electronic computers) Author Jones, C. B. (Cliff B.), 1944- LC no. 82007656 ISBN 0133290034

  Permalink