Name: The foundations of program verification (Wiley-Teubner series in computer science)
Author: Jacques Loeckx
ISBN: 9783519021018

Page Count:
230

Publication Date:
1984-01-01

ISBN-10:
3519021013

ISBN-13:
9783519021018

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