Programming Logics: An Introduction to Verification and Semantics - Hardcover

Gumb, Raymond D.

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
John Wiley & Sons Inc
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
0471605395
ISBN 13 
9780471605393
Einband
Tapa dura
Anzahl der Seiten
352
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar