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
18 253 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

9 011 Ft
6 525 Ft
6 134 Ft
11 420 Ft
6 235 Ft
12 529 Ft
85 684 Ft
25 321 Ft
4 264 Ft

Cancer Markers

Stewart Sell
41 511 Ft
9 053 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 814 Ft
13 377 Ft

Maodeking

Stefan Blankertz
3 228 Ft

De Liereman

Lieuwe Schipper
6 322 Ft
5 111 Ft