عنوان

Program Construction :

شابک

354009251X

شابک

3540353127

شابک

9783540092513

شابک

9783540353126

شماره

b565761

عنوان اصلي

Program Construction :

نام عام مواد

[Book]

ساير اطلاعات عنواني

International Summer School

نام نخستين پديدآور

edited by Friedrich L. Bauer, Manfred Broy, 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. Wössner.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1979

نام خاص و کميت اثر

(651 pages)

عنوان فروست

Lecture notes in computer science, 69.

متن يادداشت

A 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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Programmation (Informatique)

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Friedrich L. Bauer, Manfred Broy, 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. Wössner.

مستند نام اشخاص تاييد نشده

C Pair

مستند نام اشخاص تاييد نشده

D Gries

مستند نام اشخاص تاييد نشده

E W Dijkstra

مستند نام اشخاص تاييد نشده

Friedrich L Bauer

مستند نام اشخاص تاييد نشده

H Partsch

مستند نام اشخاص تاييد نشده

H Wössner

مستند نام اشخاص تاييد نشده

J J Horning

مستند نام اشخاص تاييد نشده

J V Guttag

مستند نام اشخاص تاييد نشده

M Griffiths

مستند نام اشخاص تاييد نشده

M Wirsing

مستند نام اشخاص تاييد نشده

Manfred Broy

مستند نام اشخاص تاييد نشده

P Pepper

مستند نام اشخاص تاييد نشده

S L Gerhart

مستند نام اشخاص تاييد نشده

S S Owicki

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y