001.642 / B557f
Bjørner, Dines
Formal specification and software development / Dines Bjørner and Cliff B .- London: Prentice-Hall International, 1982 .- x,501p. .- ( Prentice-Hall international series in computer science
Subject Headings:
Electronic Digital Computers -- Programming;
Programming Languages (Electronic Computers);
Author Added Entry:
B, Cliff;
Copy Details:
Acc. No.: A91605, Full Call No.: 001.642 B557f, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Bjørner, Dines
Formal specification and software development / Dines Bjørner and Cliff B .- London: Prentice-Hall International, 1982 .- x,501p. .- ( Prentice-Hall international series in computer science
Subject Headings:
Electronic Digital Computers -- Programming;
Programming Languages (Electronic Computers);
Author Added Entry:
B, Cliff;
Copy Details:
Acc. No.: A91605, Full Call No.: 001.642 B557f, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------