Vendeur
HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 11 mars 2019
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! N° de réf. du vendeur S_341863915
This volume is an up-to-date, introductory level text on programming logic. It covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. The hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). The book describes the use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). There are many exercises.
Titre : Programming Logics: An Introduction to ...
Éditeur : Wiley
Date d'édition : 1989
Reliure : hardcover
Etat : Good
Vendeur : Ammareal, Morangis, France
Hardcover. Etat : 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. N° de réf. du vendeur E-597-389
Quantité disponible : 1 disponible(s)
Vendeur : Nelson & Nelson, Booksellers, Trenton, SC, Etats-Unis
Softcover. N° de réf. du vendeur 30338
Quantité disponible : 1 disponible(s)