Rigorous Methods for Software Construction and

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)

Hardcover: 235 pages

Publisher: Springer (January 20, 2010)

Language: English

ISBN-10: 3642114466