001.6425 / F324f
Feijs, L. M. G.
FORMAL SPECIFICATION AND DESIGN / .- Cambridge: Cambridge Univ. Press, c1992 .- xvi,335 . .- ( Cambridge Tracts In Theoretical Computer Science No. 35
Includes Bibliographical References And Index
ISBN: 0521434572
Subject Headings:
Software Engineering;
Programming Languages (Electronic Computers);
Author Added Entry:
Jonkers, H. B. M.;
Copy Details:
Acc. No.: A116161, Full Call No.: 001.6425 F324f, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Feijs, L. M. G.
FORMAL SPECIFICATION AND DESIGN / .- Cambridge: Cambridge Univ. Press, c1992 .- xvi,335 . .- ( Cambridge Tracts In Theoretical Computer Science No. 35
Includes Bibliographical References And Index
ISBN: 0521434572
Subject Headings:
Software Engineering;
Programming Languages (Electronic Computers);
Author Added Entry:
Jonkers, H. B. M.;
Copy Details:
Acc. No.: A116161, Full Call No.: 001.6425 F324f, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------