Formal Description of Programming Concepts

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

IFIP State-of-the-Art Reports

ISBN: 3540539611
ISBN 13: 9783540539612
Herausgeber: Erich J Neuhold/Manfred Paul
Verlag: Springer Verlag GmbH
Umfang: x, 508 S.
Erscheinungsdatum: 04.10.1991
Produktform: Gebunden/Hardback
Einband: Gebunden
Artikelnummer: 1502652 Kategorie:

Beschreibung

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …