Methods of Programming
Selected Papers on the CIP-Project
Buch in deiner Nähe kaufen
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.
Autor*in
Manfred Broy
Themen in »Methods of Programming«
CIP-Methode CIP-approachch Program Construction Program Development Programm-Entwicklung Programm-Konstruktion Programmiersysteme Programming systems Software Systeme Software systems algorithm algorithms formal method programming programming language