Program Correctness Over Abstract Data Types, With Error-State Semantics
by J. V. Tucker
| Publisher: | North-Holland, Sole distributors for the U.S.A and Canada Elsevier Science Pub. Co |
| Published In: | 1988 |
| ISBN-10: | 0444703403 |
| ISBN-13: | 9780444703408 |
| Weight: | 200 gms |
| Pages: | pp. viii + 212 |
The Title "Program Correctness Over Abstract Data Types, With Error-State Semantics" is written by J. V. Tucker. This book was published in the year 1988. This book has total of pp. viii + 212 (Pages). The publisher of this title is North-Holland, Sole distributors for the U.S.A and Canada Elsevier Science Pub. Co. Program Correctness Over Abstract Data Types, With Error-State Semantics is currently Not Available with us.You can enquire about this book and we will let you know the availability.