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

Book by Nissim, Francez

Page Count:
328

Publication Date:
1992-01-01

Computer programs

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