Programming Logics: An Introduction to Verification and Semantics - Rilegato

Gumb, Raymond D.

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

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
John Wiley & Sons Inc
Data di pubblicazione
1989
Lingua
Inglese
ISBN 10 
0471605395
ISBN 13 
9780471605393
Rilegatura
Copertina rigida
Numero di pagine
352
Contatto del produttore
non disponibile
Persona responsabile
non disponibile