Program construction : international summer school /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1979
Berlin ; New York : 1979 |
| Series: | Lecture notes in computer science ;
69 Lecture notes in computer science 69 Lecture notes in computer science ; 69 Lecture notes in computer science 69 |
| Subjects: |
| LEADER | 09796nam a2201405Ia 4500 | ||
|---|---|---|---|
| 001 | f60e54e3-aa9b-4699-bcfd-ff6972fb9825 | ||
| 005 | 20240903000000.0 | ||
| 008 | 801023s1979 wb b 100 0 eng | ||
| 010 | |a 79013704 | ||
| 010 | |a 79013704 //r85 | ||
| 010 | |a 79013704 | ||
| 010 | |a 79013704 | ||
| 010 | |a ^^^79013704^ | ||
| 015 | |a 790782278 |2 dnb | ||
| 016 | 7 | |a 790782278 |2 DE-101 | |
| 020 | |a 038709251X | ||
| 020 | |a 9780387092515 | ||
| 035 | |9 AAM7694CU | ||
| 035 | |9 CER8455TS | ||
| 035 | |9 FFQ5672YL | ||
| 035 | |a (CStRLIN)MDJG4982965-B | ||
| 035 | |a (CStRLIN)NYCG82-B53282 | ||
| 035 | |a (ICU)BID4291182 | ||
| 035 | |a (MCM)000074853MIT01 | ||
| 035 | |a (MdBJ)1484378 | ||
| 035 | |a (NNC)110580 | ||
| 035 | |a (NcD)000345207DUK01 | ||
| 035 | |a (NjP)1512191-princetondb | ||
| 035 | |a (OCoLC)04982965 | ||
| 035 | |a (OCoLC)4982965 |z (OCoLC)1229784279 |z (OCoLC)1275615041 |z (OCoLC)1276348571 |z (OCoLC)1382900538 |z (OCoLC)1434655593 | ||
| 035 | |a (OCoLC)4982965 | ||
| 035 | |a (OCoLC)ocm04982965 |9 ExL | ||
| 035 | |a (OCoLC)ocm04982965 | ||
| 035 | |a (OCoLC)ocn685668080 | ||
| 035 | |a (RPB)b10371448-01bu_inst | ||
| 035 | |a 110580 | ||
| 035 | |a 1484378 | ||
| 035 | |a 3056609 | ||
| 035 | |a ABX4406EI | ||
| 035 | |a RIBG19295782-B | ||
| 035 | |z (NjP)Voyager1512191 | ||
| 040 | |a DLC |b eng |c DLC |d NDD | ||
| 040 | |a DLC |b eng |c DLC |d PUL | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 040 | |a DLC |c DLC |d ICU | ||
| 040 | |a DLC |c DLC |d MdBJ |d CStRLIN | ||
| 040 | |a DLC |c DLC |d OCLCQ |d BAKER |d NLGGC |d BTCTA |d LVB |d C$Q |d YDXCP |d GBVCP |d ZWZ |d HEBIS |d GEBAY |d MYG | ||
| 040 | |a DLC |c DLC | ||
| 040 | |d NNC | ||
| 040 | |d RPB | ||
| 041 | 0 | |a eng | |
| 049 | |a MYGG | ||
| 049 | 0 | 0 | |a JHE |
| 050 | 4 | |a QA76.6 |b .P751171 1979 | |
| 050 | 0 | |a QA76.6 |b .P75117 | |
| 050 | 0 | 0 | |a QA76.6 |b .P75117 |
| 079 | |a ocm04982965 | ||
| 082 | |a 001.6/42 | ||
| 082 | 0 | |a 001.6/42 | |
| 082 | 0 | 0 | |a 001.6/42 |
| 084 | |a 54.51 |2 bcl | ||
| 090 | |a QA76.6 |b .P75117 | ||
| 245 | 0 | 0 | |a Program construction : |b international summer school / |c F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1979 | ||
| 260 | 0 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1979 | |
| 300 | |a vii, 651 p. ; |c 25 cm | ||
| 300 | |a vii, 651 pages ; |c 25 cm | ||
| 336 | |a text |2 rdacontent | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |2 rdamedia | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |2 rdacarrier | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 440 | 0 | |a Lecture notes in computer science ; |v 69 | |
| 440 | 0 | |a Lecture notes in computer science |v 69 | |
| 490 | 1 | |a Lecture notes in computer science ; |v 69 | |
| 490 | 1 | |a Lecture notes in computer science |v 69 | |
| 500 | |a This WorldCat-derived record is shareable under Open Data Commons ODC-BY, with attribution to OCLC |5 CTY | ||
| 500 | |a "The international summer school took place from July 26 to August 6, 1978, in Marktoberdorf ... and was sponsored by the NATO Scientific Affairs Division under the 1978 Advanced Study Institutes programme." | ||
| 504 | |a Includes bibliographical references | ||
| 504 | |a Includes bibliographies | ||
| 505 | 0 | |a 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 | |
| 530 | |a Also issued online | ||
| 583 | 1 | |a committed to retain |c 20170930 |d 20421231 |f HathiTrust |u https://www.hathitrust.org/shared%5Fprint%5Fprogram |5 MCM | |
| 650 | 0 | |a Computer programming | |
| 650 | 7 | |a Computer programming |2 fast | |
| 700 | 1 | |a Bauer, Friedrich Ludwig, |d 1924- |0 http://viaf.org/viaf/85050819 | |
| 700 | 1 | |a Bauer, Friedrich Ludwig, |d 1924- | |
| 700 | 1 | |a Broy, M., |d 1949- |0 http://viaf.org/viaf/91721734 | |
| 700 | 1 | |a Broy, M., |d 1949- | |
| 700 | 1 | 0 | |a Bauer, Friedrich Ludwig, |d 1924- |1 http://viaf.org/viaf/85050819 |
| 700 | 1 | 0 | |a Bauer, Friedrich Ludwig, |d 1924- |
| 700 | 1 | 0 | |a Broy, M., |d 1949- |1 http://viaf.org/viaf/91721734 |
| 700 | 1 | 0 | |a Broy, M., |d 1949- |
| 710 | 2 | |a North Atlantic Treaty Organization |b Scientific Affairs Division |0 http://viaf.org/viaf/141814054 | |
| 710 | 2 | |a North Atlantic Treaty Organization |b Scientific Affairs Division. | |
| 710 | 2 | 0 | |a North Atlantic Treaty Organization |b Scientific Affairs Division |1 http://viaf.org/viaf/141814054 |
| 710 | 2 | 0 | |a North Atlantic Treaty Organization |b Scientific Affairs Division. |
| 776 | 0 | 8 | |i Online version: |t Program construction |d Berlin ; New York : Springer-Verlag, 1979 |w (OCoLC)562167525 |
| 776 | 0 | 8 | |i Print version: |t Program construction |d Berlin ; New York : Springer-Verlag, 1979 |w (DLC) 79013704 |w (OCoLC)4982965 |
| 830 | 0 | |a Lecture notes in computer science ; |v 69 | |
| 830 | 0 | |a Lecture notes in computer science |v 69 | |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 3056609 |s US-CTY |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 300152 |s US-ICU |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 990000748530106761 |s US-MCM |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 991043171439707861 |s US-MDBJ |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 990008291360203941 |s US-MH |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 990003452070108501 |s US-NCD |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 9915121913506421 |s US-NJP |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 110580 |s US-NNC |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 0 | |i f60e54e3-aa9b-4699-bcfd-ff6972fb9825 |l 991001763739706966 |s US-RPB |m program_constructioninternational_summer_school____________________________1979_______sprina___________________________________________________________________________p |
| 999 | 1 | 1 | |l 3056609 |s ISIL:US-CTY |t BKS |a lsfeng |b 39002016782402 |c QA76 A1 L43 69 (LC) |g 1 |v 1 piece |x lsfc |y 2123499 |p LOANABLE |
| 999 | 1 | 1 | |l 300152 |s ISIL:US-ICU |t BKS |a ASR-SciASR |b 17308799 |c QA76.6.P751170 |d Library of Congress classification |y 986874 |p LOANABLE |
| 999 | 1 | 1 | |l 990000748530106761 |s ISIL:US-MCM |t BKS |a LSA OCC |b 39080024382076 |c QA76.6.P75117 |d 0 |x BOOK |y 23471713240006761 |p UNLOANABLE |
| 999 | 1 | 1 | |l 991043171439707861 |s ISIL:US-MDBJ |t BKS |a LSC shmoffs |b 31151018293641 |c QA76.6 .P751171 1979 |d 0 |x jhbooks |y 23394834520007861 |p LOANABLE |
| 999 | 1 | 1 | |l 990008291360203941 |s ISIL:US-MH |t BKS |a CAB HD |b AS28RL |c QA75 .L4 vol.69 |d 0 |x 01 BOOK |y 231789919430003941 |p LOANABLE |
| 999 | 1 | 1 | |l 990003452070108501 |s ISIL:US-NCD |t BKS |a LSC PSV |b D02142007G |c 001.64 L471, v. 69 |d 1 |x BOOK |y 23752172840008501 |p LOANABLE |
| 999 | 1 | 1 | |l 9915121913506421 |s ISIL:US-NJP |t BKS |a recap pa |b 32101043263563 |c QA76.6.P75117 |d 0 |x Gen |y 23683807200006421 |p LOANABLE |
| 999 | 1 | 1 | |l 110580 |s ISIL:US-NNC |t BKS |a off,eng |b CU54482020 |c QA76.6 .P75117 |y 156078 |p LOANABLE |
| 999 | 1 | 1 | |l 991001763739706966 |s ISIL:US-RPB |t BKS |a ROCK RKSTORAGE |b 31236002814583 |c QA76.6 .P75117 |d 0 |y 23430076900006966 |p LOANABLE |