Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The Munich Project CIP

The Munich Project CIP

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540481799
Condition
New
Product Description

This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Spectral Geometry

$44.99

Love in the Time of Cinema

$54.99

Orbital Mechanics and Astrodynamics

$119.99

Graph Drawing

$39.99

Sport Team Identifikation

$74.99

Windows Phone Game Development

$29.99

Einfhrung in die theoretische Gasdynamik

$49.99

Computational Science ICCS 2023

$119.99

Entrepreneurship and the Community

$159.99

E. T. Jaynes: Papers on Probability, Statistics and Statistical Physics

$179.99

Abschlussprfung Teil I

$29.99

Influencer-Marketing

$79.99

Introduction to Convolutional Codes with Applications

$129.00

Advances in Real and Complex Analysis with Applications

$84.99

Negotiating Political Conflicts

$54.99

Near Misses in Pediatric Anesthesia

$54.99

Jets from Stars and Galactic Nuclei

$39.99

Targeted Therapies for Lung Cancer

$109.00

A Numerical Approach to the Micromechanics of Fibre-Reinforced Laminae

$169.99

Chinese Encyclopaedias of New Global Knowledge (1870-1930)

$109.99

Siedlungswasserwirtschaft

$84.99

Smalltalk and Object Orientation

$54.99

Praxisratgeber Entrepreneurship

$37.99

Umweltmanagement in 22 Lektionen

$49.99

Handbook of Tables for Elliptic-Function Filters

$129.00

Bewertung von Spezialimmobilien

$89.00

Italian Studies on Food and Quality of Life

$159.99

Towards Mathematics, Computers and Environment: A Disasters Perspective

$109.99

Markets for Water

$129.00

Regelungstheorie und Entscheidungsprozesse

$44.99

Data Engineering for Smart Systems

$279.99

Youth Gangs, Racism, and Schooling

$129.99

Nonprofit-Organisationen in der konomischen Theorie

$44.99

Biotechnologie fr Einsteiger

$49.99

Social Informatics

$54.99

Rntgen-Hauttherapie

$59.99

Mao Tse-Tungs Theory of Dialectic

$129.00

Guide to the NMR Empirical Method

$54.99

Road Vehicle Automation 8

$199.99

Ernhrung bei Krebs nach den 5 Elementen der TCM

$39.99