Long Books

AUTO VERIFICATION PROGRAMS > Editions

by Suzuki First published May 1st 1980

Sort by
Format
Language
Editions
Showing 1-2 of 2
Automatic verification of programs with complex data structures
Automatic verification of programs with complex data structures (Unknown Binding)
Published January 1st 1976 by Stanford University]
Unknown Binding, 190 pages
Author(s):
ASIN:
B00072POMU
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
AUTO VERIFICATION PROGRAMS (Outstanding dissertations in the computer sciences)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page