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.