AUTO VERIFICATION PROGRAMS > Editions

by Suzuki First published May 1st 1980

Automatic verification of programs with complex data structures
Published January 1st 1976 by Stanford University]
Unknown Binding, 190 pages
Author(s):
ASIN:
B00072POMU
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
AUTO VERIFICATION PROGRAMS (Outstanding dissertations in the computer sciences)
Published May 1st 1980 by Dissertations-G
0, Hardcover, 176 pages
Author(s):
ISBN:
9780824044251 (ISBN10: 0824044258)
ASIN:
0824044258
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating

per page