Rigorous methods for software construction and analysis  essays dedicated to Egon Borger on the occasion of his 60th birthday /  [electronic resource] : 
edited by Jean-Raymond Abrial, Uwe Glasser. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2009. 
 - xvi, 233 pages :  illustrations, digital. 
 - Lecture notes in computer science,  5115  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642114472 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)<br/>Algorithms.<br/>Computing Methodologies.<br/>Mathematics of Computing.<br/>Algorithm Analysis and Problem Complexity.<br/>Mathematical Logic and Formal Languages.<br/>Theory of Computation.
<br/><br/><label>Dewey Class. No.: </label>004.0151