001.64  / L497 <br/>
Hoffmann, Berthold <br/>
       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   
<br/>Includes Bibliographical References 
<br><u>ISBN:</u> 354056733X 
<br/><u>Subject Headings:</u> <br/>Computer Programs;<br/>Programming Languages (Electronic Computers);
<br/><U>Author Added Entry: </u><br/>Krieg-Bruckner, Bernd;
<br><U>Copy Details:</u><br> Acc. No.: <b>A116682</b>, Full Call No.: 001.64 L497, (v.680)  Item type:  Lect. Notes Comp. Sc. (Avl.Online) , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>