001.64 / L497
Hoffmann, Berthold
PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION / THE PROSPECTRA METHODOLOGY,LANGUAGE FAMILY, AND SYSTEM .- Berlin: Springer-Verlag, c1993 .- xiv,623 . .- ( Lecture Notes In Computer Science V.680
Includes Bibliographical References
ISBN: 354056733X
Subject Headings:
Computer Programs;
Programming Languages (Electronic Computers);
Author Added Entry:
Krieg-Bruckner, Bernd;
Copy Details:
Acc. No.: A116682, Full Call No.: 001.64 L497, (v.680) Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Hoffmann, Berthold
PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION / THE PROSPECTRA METHODOLOGY,LANGUAGE FAMILY, AND SYSTEM .- Berlin: Springer-Verlag, c1993 .- xiv,623 . .- ( Lecture Notes In Computer Science V.680
Includes Bibliographical References
ISBN: 354056733X
Subject Headings:
Computer Programs;
Programming Languages (Electronic Computers);
Author Added Entry:
Krieg-Bruckner, Bernd;
Copy Details:
Acc. No.: A116682, Full Call No.: 001.64 L497, (v.680) Item type: Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------