Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 5115)

Dedicated

von: Jean-Raymond Abrial · Uwe Glässer

Taschenbuch

ISBN: 978-3-642-11446-5

ISBN-10: 3-642-11446-6

Springer · 2010