Items related to Programming Logics: An Introduction to Verification...
Synopsis
The only up-to-date, truly introductory level text on programming logic. Covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. Hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). Describes use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). Includes many exercises.
"synopsis" may belong to another edition of this title.
Search results for Programming Logics: An Introduction to Verification...
Stock Image
Programming Logics: An Introduction to Verification and Semantics
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-597-389
Quantity: 1 available
Stock Image
Programming Logics: An Introduction to Verification and Semantics
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_341863915
Quantity: 1 available
Stock Image
PROGRAMMING LOGICS: An Introduction to Verification and Semantics.
Seller: Nelson & Nelson, Booksellers, Trenton, SC, U.S.A.
Seller rating 5 out of 5 stars
Softcover. Seller Inventory # 30338
Quantity: 1 available