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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.