Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Methods of Programming

Name: Methods of Programming
Brand: Springer, Berlin
SKU: 01565452
Price: 51.27 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540545767

Selected Papers on the CIP-Project

Manfred Broy

Martin Wirsing

Language

English

Book Paperback

Libristo code: 01565452

Publishers Springer, Berlin, November 1990

The systematic development of software systems is a central§task of computing science. A software sy... Full description

Libristo code: 01565452

125 b

51.27 €

100.28 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

??????? ?? ??? - ???????? ?????? Skov

MP3

3.03 € 5.92 лв

Escorpi?o Previs?es e Rituais 2024 Angeline A. Rubi

Paperback

20.96 € 40.99 лв

Tropical Rainforests (French-English) Anita McCormick

Paperback

17.21 € 33.66 лв

Finance à impact Blazy

Book

35.71 € 69.83 лв

Notre-dame De Biran: Histoire Seigneuriale Et Paroissiale... Jean Marie Cazauran

Paperback

24.50 € 47.93 лв

Maladies inflammatoires en pédiatrie - N°34 Cochat

Paperback

82.41 € 161.18 лв

El cuento de Reeh Álvarez Serrano

Paperback

23.68 € 46.32 лв

Polska flaga narodowa

Stationery items

6.11 € 11.95 лв

CONCEPTION DE POUTRES COMPOSITES EN RCC Shakti Kumar

Paperback

35.40 € 69.23 лв

Schnell Fit In Luxemburgisch Assimil Gmbh

Paperback

32.93 € 64.41 лв

Písemná a elektronická komunikace 3 Jiří Kroužek

Spiral bound

6.57 € 12.85 лв

Touristikkostenrechnung Christoph Benz

Paperback

39.61 € 77.47 лв

Maodeking Stefan Blankertz

Paperback

9.60 € 18.78 лв

Allgemeine Energiewirtschaftslehre Ludwig Musil

Paperback

55.59 € 108.73 лв

De Liereman Lieuwe Schipper

Hardback

17.77 € 34.76 лв

Die Ringe des Saturn W. G. Sebald

Paperback

15.20 € 29.74 лв

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.