Methods of Programming

Name: Methods of Programming
Brand: Springer, Berlin
SKU: 9783540545767
Price: 50.14 EUR
Availability: InStock

Selected Papers on the CIP-Project

Autor: Manfred Broy, Martin Wirsing

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.14 €

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

Informácie o knihe

Autor

Manfred Broy, Martin Wirsing

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1991

Stránok

250

EAN

9783540545767

ISBN

354054576X

Enbook ID

01565452

Vydavateľ

Springer, Berlin

Hmotnosť

410

Rozmery

155 x 235 x 15

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Methods of Programming

Selected Papers on the CIP-Project

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež