Formal Description of Programming Concepts (1991)

Contributor(s): Neuhold, Erich J (Editor), Apt, K R (Contribution by), Paul, Manfred (Editor), Astesiano, E (Contribution by), Bjorner, D (Contribution by), Broy, M (Contribution by), Cardelli, L (Contribution by), Mosses, P D (Contribution by), Olderog, E -R (Contribution by), Wirsing, M (Contribution by)

ISBN: 9783540539612

Publisher: Springer

Hardcover

$109.99

Pub Date: October 4, 1991

Dewey: 005.1

LCCN: 91023345

Lexile Code: 0000

Target Age Group: NA to NA

Physical Info: 1.13" H x 10.00" L x 7.00" W ( 2.46 lbs) 508 pages

BISAC Categories:

Series: Ifip State-Of-The-Art Reports

Descriptions, Reviews, etc.

Description: 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.