Correct system design :  symposium in honor of ernst-rüdiger olderog on the occasion of his 60th birthday, oldenburg, germany, september 8-9, 2015, proceedings / 
edited by Roland Meyer, André Platzer, Heike Wehrheim. 
 - 1st ed. 2015. 
 - xii, 279 páginas :  69 ilustraciones 
 - Lecture Notes in Computer Science,  9360  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/><label>ISBN: </label>9783319235066 
<br/><br/><label>LC Class. No.: </label>QA76.9.L63