Programming Logics: An Introduction to Verification and Semantics - Tapa dura

Gumb, Raymond D.

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
John Wiley & Sons Inc
Año de publicación
1989
Idioma
Inglés
ISBN 10 
0471605395
ISBN 13 
9780471605393
Encuadernación
Tapa dura
Número de páginas
352
Contacto del fabricante
no disponible
Persona responsable
no disponible