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)
von:
Jean-Raymond Abrial
·
Uwe Glässer
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-11446-5
ISBN-10: 3-642-11446-6
Springer
· 2010