Könyv Methods of Programming Manfred Broy

Methods of Programming

Selected Papers on the CIP-Project

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
The systematic development of software systems is a central§task of computing science. A software sy...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1991
oldal
250
EAN
9783540545767
ISBN
354054576X
Enbook ID
01565452
Súly
410
Méretek
155 x 235 x 15

Teljes leírás

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.

Érdekelheti

6 541 Ft
5 972 Ft
11 701 Ft
6 070 Ft
12 199 Ft
8 774 Ft
87 517 Ft
24 653 Ft
4 021 Ft

Cancer Markers

Stewart Sell
40 448 Ft
8 088 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

7 608 Ft
14 176 Ft

Maodeking

Stefan Blankertz
3 439 Ft

De Liereman

Lieuwe Schipper
6 752 Ft
5 447 Ft