Program Construction (Record no. 33446)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03969nam a22005895i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540353126 |
| -- | 978-3-540-35312-6 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004 |
| 245 10 - TITLE STATEMENT | |
| Title | Program Construction |
| Sub Title | International Summer School / |
| Statement of responsibility, etc | 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. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 1979. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | X, 654 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science, general. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bauer, Friedrich L. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Broy, Manfred. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dijkstra, E. W. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gerhart, S. L. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gries, D. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Griffiths, M. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Guttag, J. V. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Horning, J. J. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Owicki, S. S. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Pair, C. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Partsch, H. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Pepper, P. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wirsing, M. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Wössner, H. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/BFb0014649 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 1979. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK4152 | http://dx.doi.org/10.1007/BFb0014649 | E-BOOKS |