Programming Logics: An Introduction to Verification and Semantics

Gumb, Raymond D.

ISBN 10: 0471605395 ISBN 13: 9780471605393
Edité par Wiley, 1989
Ancien(s) ou d'occasion hardcover

Vendeur HPB-Red, Dallas, TX, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 11 mars 2019

A propos de cet article

Description :

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

Signaler cet article

Synopsis :

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Programming Logics: An Introduction to ...
Éditeur : Wiley
Date d'édition : 1989
Reliure : hardcover
Etat : Good

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Raymond D. Gumb
Edité par John Wiley & Sons Inc, 1989
ISBN 10 : 0471605395 ISBN 13 : 9780471605393
Ancien ou d'occasion Couverture rigide

Vendeur : Ammareal, Morangis, France

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 17,49
EUR 20,50 shipping
Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Gumb, Raymond D.
Edité par John Wiley & Sons,, 1989
ISBN 10 : 0471605395 ISBN 13 : 9780471605393
Ancien ou d'occasion Softcover

Vendeur : Nelson & Nelson, Booksellers, Trenton, SC, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Softcover. N° de réf. du vendeur 30338

Contacter le vendeur

Acheter D'occasion

EUR 21,93
EUR 5,11 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier