Name: An Assertional Proof System for Multithreaded Java Theory and Tool Support
Author: Erika Ábrahám
ISBN: 9789090189086

Page Count:
202

Publication Date:
2005-01-01

ISBN-10:
9090189084

ISBN-13:
9789090189086

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