Formal Description of Programming Concepts (Hardcover) (ISBN-13: 9783540539612)

This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.

Author: Erich J. Neuhold
ISBN-10: 3540539611
ISBN-13: 9783540539612
Publisher: Springer
Language: English
Published: 10/04/1991
Pages: 508
Format: Hardcover
Weight: 2.46lbs
Size: 10.00h x 7.00w x 1.13d