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

Arbeitsbuch: Sozialpdagogik

$44.99

Groundwater Engineering

$99.99

Orale Antibiotika in Klinik und Praxis

$14.99

Food Packaging Materials

$59.99

Wastewater Exploitation

$149.00

Dynamic Neural Field Theory for Motion Perception

$84.99

Antibiotics and Antibiotics Resistance Genes in Soils

$169.99

Aufgaben und Lsungen zur Schaltungsdarstellung und Simulation elektromechanischer Systeme

$49.99

Quarks and Leptons

$39.99

Study of Bacteriorhodopsin in a Controlled Lipid Environment

$109.99

European Democratic Institutions and Administrations

$119.00

Computeruntersttzte Screeninganamnese

$59.99

Im Fokus: Strategien der Evolution

$29.95

Menschenbilder und Digitalisierung

$29.99

Natural Language Processing and Chinese Computing

$109.99

Die Erfolgsspirale der Ungleichzeitigkeit

$69.95

Nachhaltige Impulse fr Produktion und Logistikmanagement

$69.99

Epigenetic Mechanisms of Cell Programming and Reprogramming

$119.99

Sports Injuries in Children and Adolescents

$39.99

Structural Revolution in International Business Architecture

$39.99

Green, Pervasive, and Cloud Computing

$74.99

Bewertung von Synergiepotenzialen im Maschinenbau

$84.99

Civilizational Identity

$129.99

Image Analysis Applications and Computer Graphics

$39.99

Energy Politics and Rural Development in Sub-Saharan Africa

$69.99

Genome Editing in Animals

$129.00

Agent-Based Evolutionary Search

$84.99

Cross Buying Extended in Multi Partner Bonusprogrammen

$69.99

Piriformis Syndrome

$119.00

Rewriting Logic and Its Applications

$49.99

Dynamisches Segment-Management auf Hochtechnologiemrkten

$34.99

Epidemiology and the Delivery of Health Care Services

$69.99

Sustainable Cities and Resilience

$189.00

Darwin, Geodynamics and Extreme Waves

$109.99

Fernsehgewalt im gesellschaftlichen Kontext

$59.99

Programmiermethodik mit Ada

$59.99

An Economic Analysis of KoreaEU FTA and JapanEU EPA

$119.99

Hochschulreform in Europa konkret

$74.99

Semimodular Lattices

$37.99

Random-Like Multiple Objective Decision Making

$109.99