reasoning java programs higher order von marieke huisman (1 Ergebnisse)

Paperback. Zustand: 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.