Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Methods of Programming

Best Price (Coupon Required):
Buy Methods of Programming for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

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

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Dynamische Visualisierung

Dynamische Visualisierung

$74.99
Swift and Science

Swift and Science

$54.99
Algebraic Systems

Algebraic Systems

$64.99
Regulating Technological Innovation

Regulating Technological Innovation

$54.99
Modern Ferrites in Engineering

Modern Ferrites in Engineering

$169.99
Wissenskonomie und Digitalisierung

Wissenskonomie und Digitalisierung

$44.99
Knowledge and Time

Knowledge and Time

$129.99
Computer Vision  ECCV 2024

Computer Vision ECCV 2024

$79.99
(In)Toleranz in der Einwanderungsgesellschaft?

(In)Toleranz in der Einwanderungsgesellschaft?

$64.99
From Battlefield to Boardroom

From Battlefield to Boardroom

$39.99
Advanced Topics in Artificial Intelligence

Advanced Topics in Artificial Intelligence

$39.99
The Gold Bowl: An Acorn Book (Rainbow Days #2)

The Gold Bowl: An Acorn Book (Rainbow Days #2)

$4.49
Bibliographie zur deutschen Literaturgeschichte

Bibliographie zur deutschen Literaturgeschichte

$59.99
The Plasma Environment of Venus, Mars and Titan

The Plasma Environment of Venus, Mars and Titan

$169.99
The Masters and the Slaves

The Masters and the Slaves

$39.99
Die Trennung von Einknfteerzielung und Steuerschuldnerschaft

Die Trennung von Einknfteerzielung und Steuerschuldnerschaft

$79.99
Media Language on Islam and Muslims

Media Language on Islam and Muslims

$79.99
Fundamental Beta

Fundamental Beta

$59.99
Estuaries and Nutrients

Estuaries and Nutrients

$199.99
Perspectives on Fluorescence

Perspectives on Fluorescence

$219.99
Chemoinformatics: Theory, Practice, & Products

Chemoinformatics: Theory, Practice, & Products

$129.00
Suspect Red

Suspect Red

$5.96
Social Justice

Social Justice

$84.99
The Behavioral High-Risk Paradigm in Psychopathology

The Behavioral High-Risk Paradigm in Psychopathology

$169.99
Designing Organizational Systems

Designing Organizational Systems

$109.99
Computational Systems Biology in Medicine and Biotechnology

Computational Systems Biology in Medicine and Biotechnology

$249.99
Phonics Chapter Book - Level 2: Tall in the Saddle

Phonics Chapter Book - Level 2: Tall in the Saddle

$6.74
Child Trafficking, Youth Labour Mobility and the Politics of Protection

Child Trafficking, Youth Labour Mobility and the Politics of Protection

$159.99
David Mamet and Male Friendship

David Mamet and Male Friendship

$54.99
A Course in Commutative Banach Algebras

A Course in Commutative Banach Algebras

$39.99
Issues in Contemporary Philosophy of Religion

Issues in Contemporary Philosophy of Religion

$109.99
Der Heutige Stand der Chemotherapeutischen Carcinomforschung

Der Heutige Stand der Chemotherapeutischen Carcinomforschung

$59.99
Problems on Partial Differential Equations

Problems on Partial Differential Equations

$54.99
Introduction to Cryptography

Introduction to Cryptography

$79.99
The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs

The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs

$39.99
Atomic Force Microscopy in Molecular and Cell Biology

Atomic Force Microscopy in Molecular and Cell Biology

$109.99
Infection Control in Intensive Care Units by Selective Decontamination

Infection Control in Intensive Care Units by Selective Decontamination

$109.99
The banking and credit system of the USSR

The banking and credit system of the USSR

$169.99
Medical Imaging and Informatics

Medical Imaging and Informatics

$39.99
Die Vorbereitung auf das A-Diplom in Aurikulomedizin

Die Vorbereitung auf das A-Diplom in Aurikulomedizin

$44.99
previous
next