Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
ISBN: 9783642114472
Information Available:
Summary
Inside Flap
Cover Image
Copyright held by Baker & Taylor.