00000cam a22000004a 4500 UP-99796217610303830 Buklod 20230215101310.0 a r |||| u| ta 120810s xx d r |||| u| 0133290034 (iLib)UPD-00184903333 DIM QA 76.6 B575 1982 Bjørner, Dines 1937- Formal specification and software development Dines Bjørner and Cliff B. Jones. Englewood Cliffs, N.J. Prentice, Hall International 1982 x, 501 p. ill. 25 c Prentice-Hall International series in computer scienc Computer programming. Programming languages (Electronic computers) Jones, Cliff B. 1944. Prentice-Hall International series in computer science Boo Math Librar UPD DIM QA 76.6 B575 1982 Book