Description: Reasoning about Java Programs in Higher Order Logic Using PVS and IsabelleBy Marieke Huisman 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. Contents: IntroductionA Semantics for JavaInteractive Theorem Provers: PVS and IsabelleThe LOOP ToolA Hoare Logic for JavaClass Specification and the Java Modeling Language (JML)Two Case Studies: Verifications of Java Library ClassesConcluding RemarksSubject IndexJava Semantics IndexDefinition and Symbol IndexAppendix - Hoare Logic RulesSamenvattingCurriculum Vitae
Price: 49.95 USD
Location: Sun City, California
End Time: 2024-12-12T06:13:22.000Z
Shipping Cost: 7.48 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Book Title: Reasoning about Java Programs in Higher Order Logi
Narrative Type: Nonfiction
Country/Region of Manufacture: United States
Topic: Logic
Format: Paperback
Type: Chronicle
Features: 1st Edition
Author: Marieke Huisman
Publication Year: 2001
Language: English
Publisher: IPA
Genre: Computer & IT
Subjects: Science
