Rigorous Methods for Software Construction and Analysis
Subtitle: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Publisher: Springer London, Limited
Published: 2010
Language: eng
Number of pages: 235
ISBN-13: 9783642114472