Seidl, Helmut. <br/><br/>
Foundations of Software Science and Computational Structures  10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /  [electronic resource] : 
edited by Helmut Seidl. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2007. 
 -  v.: digital 
 - Lecture Notes in Computer Science,  4423  0302-9743 .
<br/><br/><label>ISBN: </label>9783540713890 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Software engineering<br/>Logic design<br/>Computer Science<br/>Logics and Meanings of Programs<br/>Mathematical Logic and Formal Languages<br/>Computation by Abstract Devices<br/>Programming Languages, Compilers, Interpreters<br/>Software Engineering
<br/><br/><label>LC Class. No.: </label>QA76.751  / S45 2007