Computer program synthesis methodologies  
/D. Reidel Publishing Company, Proceedings of the NATO advanced study institute held at Bonas, France, 28 September - 10 October 1981  
 - Dordrecht:   D. Reidel Publishing Company,  1983 
 - ix, 374p.  
<br/><br/><label>ISBN: </label>90-277-1504-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer program synthesis 
<br/><br/><label>Subjects--Index Terms: </label>Computer methodologies  
<br/><br/><label>Universal Decimal Class. No.: </label>D 681.3.06(082.2)   / M3