001.642 / Us2
Berg, H. K.
USE OF FORMAL SPECIFICATION OF SOFTWARE, JUNE 25-27, 1979, BERLIN / .- Berlin: Springer-Verlag, 1980 .- iv,388 . .- ( Informatik-Fachberichte V. 36
Selected Contributions From A Seminar The Use Of Formal Specification Of Software And Firmware, Heinrich-Hertz-Institute, 1979
Subject Headings:
Electronic Digital Computers -- Programming -- Congresses;
Author Added Entry:
Giloi, W. K.;
Copy Details:
Acc. No.: A67413, Full Call No.: 001.642 Us2, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Berg, H. K.
USE OF FORMAL SPECIFICATION OF SOFTWARE, JUNE 25-27, 1979, BERLIN / .- Berlin: Springer-Verlag, 1980 .- iv,388 . .- ( Informatik-Fachberichte V. 36
Selected Contributions From A Seminar The Use Of Formal Specification Of Software And Firmware, Heinrich-Hertz-Institute, 1979
Subject Headings:
Electronic Digital Computers -- Programming -- Congresses;
Author Added Entry:
Giloi, W. K.;
Copy Details:
Acc. No.: A67413, Full Call No.: 001.642 Us2, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------