Reasoning java programs higher order par marieke huisman (1 résultats)
Autres imagesEdité par IPA 2001
- Couverture souple
Vendeur : Flamingo Books, Menifee, CA, Etats-UnisFlamingo Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 47,53
EUR 4,36 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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 cou…ple 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.
