Programming Logics: An Introduction to Verification and Semantics - Couverture rigide

Gumb, Raymond D.

 
9780471605393: Programming Logics: An Introduction to Verification and Semantics
Couverture rigide
ISBN 10 : 0471605395 ISBN 13 : 9780471605393
Editeur : John Wiley & Sons Inc, 1989

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 « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
John Wiley & Sons Inc
Date d'édition
1989
Langue
anglais
ISBN 10 
0471605395
ISBN 13 
9780471605393
Reliure
Relié
Nombre de pages
352
Coordonnées du fabricant
non disponible
Personne responsable
non disponible