SEKERINSKI E; SERE K <br/><br/>
PROGRAM DEVELOPMENT BY REFINEMENT CASE STUDIES USING THE B METHOD 

 -  SPRINGER INC  1998 
 - 334 
<br/><br/><label>ISBN: </label>1852330538 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMMING LANGUAGE PROGRAMING LANGUAGE 
<br/><br/><label>Dewey Class. No.: </label>005.133  / SEK