Methods of Programming

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Selected Papers on the CIP-Project, Lecture Notes in Computer Science 544

ISBN: 354054576X
ISBN 13: 9783540545767
Herausgeber: Manfred Broy/Martin Wirsing
Verlag: Springer Verlag GmbH
Umfang: x, 250 S.
Erscheinungsdatum: 23.10.1991
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1506964 Kategorie:

Beschreibung

This volume is a collection of papers presenting work based on the ideas of the CIP project. The CIP project proposed a formal approach to programming language concepts and program development based on algebraic specifications and program transformations.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …