Name: Time for Verification Essays in Memory of Amir Pnueli
ISBN: 9783642137556

Page Count:
412

Publication Date:
2010-01-01

ISBN-10:
3642137555

ISBN-13:
9783642137556

No comments yet. Be the first to share your thoughts!