Broy, Manfred. <br/><br/>
Engineering Theories of Software Intensive Systems  Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /  [electronic resource] : 
edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. 
 - Dordrecht :  Springer,  2005. 
 -  v.: digital 
 - NATO Science Series, Series II: Mathematics, Physics and Chemistry,  195  1568-2609 ; .
<br/><br/><label>ISBN: </label>9781402035326 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Software engineering<br/>Information theory<br/>Computer Science<br/>Software Engineering<br/>Models and Principles<br/>Theory of Computation<br/>Programming Techniques<br/>Programming Languages, Compilers, Interpreters
<br/><br/><label>LC Class. No.: </label>QA76.758   / B76 2005