Reasoning Java Programs Higher Order by Marieke Huisman (1 results)
More imagesPublished by IPA 2001
- Softcover
Seller: Flamingo Books, Menifee, CA, U.S.A.Flamingo Books
Contact seller5-star sellerCondition: Used - Very good
US$ 52.95
US$ 5.00 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. 2001 first edition, IPA (Nijmegen, Netherlands), 6 5/8 x 9 1/2 inches tall trade paperback, 239 pp. Slight staining, rubbing and edgewear to covers. Slight yellow staining to fore page edges, and a small amount to half title page and copyright page (facing the title page). Otherwise, apart from a… couple of pages with very slight marginal soiling, a very good copy - clean, bright and unmarked - of this scarce text. ~OOO~ [2.0P] Contents: Introduction; A Semantics for Java; Interactive Theorem Provers: PVS and Isabelle; The LOOP Tool; A Hoare Logic for Java; Class Specification and the Java Modeling Language (JML); Two Case Studies: Verifications of Java Library Classes; Concluding Remarks; Subject Index; Java Semantics Index; Definition and Symbol Index; Appendix - Hoare Logic Rules; Samenvatting; Curriculum Vitae.
