Name: Program Verification (International Computer Science Series)
Author: Francez Nissim
ISBN: 9780201416084

Book by Nissim, Francez

Page Count:
328

Publication Date:
1992-01-01

ISBN-10:
0201416085

ISBN-13:
9780201416084

Computer programs

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