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)
Full Title: | 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) |
---|---|
ISBN: | 3642114466 |
ISBN13: | 9783642114465 |
List Price: | USD $99.00 |