{"product_id":"program-construction-international-summer-school-von-f-l-bauer-e-w-dijkstra-s-l-gerhart-d-gries-m-griffiths-j-v-guttag-j-j-horning-s-s-owicki-c-pair-h-partsch-p-pepper-m-wirsing-h-wossner","title":"Program Construction","description":"\u003cp\u003eA more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of \"natural language programming\".- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development ¿ The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always?.- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation ¿ The formal approach.- Program development by stepwise transformations ¿ The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools ¿ Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540092513\"\u003e\u003ch3\u003eInternational Summer School\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540092513","offer_id":39425521909853,"sku":"9783540092513","price":50.28,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c3f8037e-da4e-4afd-ab5c-383c53afbd5c.jpg?v=1773554388","url":"https:\/\/shop.autorenwelt.de\/products\/program-construction-international-summer-school-von-f-l-bauer-e-w-dijkstra-s-l-gerhart-d-gries-m-griffiths-j-v-guttag-j-j-horning-s-s-owicki-c-pair-h-partsch-p-pepper-m-wirsing-h-wossner","provider":"Autorenwelt Shop","version":"1.0","type":"link"}