Program Construction: International Summer School
Gespeichert in:
| Hauptverfasser: | , , , , , , , , , |
|---|---|
| Format: | Buch |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 69 |
| creator | Bauer, F.L Dijkstra, E. W Broy, M Gerhart, S. L Gries, D Griffiths, M Guttag, J. V Horning, J. J Owicki, S. S Pair, C |
| description | |
| doi_str_mv | 10.1007/BFb0014649 |
| format | Book |
| fullrecord | <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783540353126</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC7207277</sourcerecordid><originalsourceid>FETCH-LOGICAL-a40556-8008c8f7a598abacc3257606d034696f0b355696e8b61b8857ada01c72c4872c3</originalsourceid><addsrcrecordid>eNp1kLtOAzEQRc1ThJAG8QF0QLFk_LbLZJUAUiQoEO3K6zgPsqyDvQm_j2ERCAmmmCnm3KuZi9AphmsMIPvDcQmAmWB6B_W0VJQzoJxiInZRBwuMM0qZ3vvegSYc033UAQok05LRQ3SMqWSMSAn4CPVifIZUlHANooPOHoKfB_Nynvs6NmFjm6WvT9DBzFTR9b5mFz2NR4_5bTa5v7nLB5PMMOBcZApAWTWThmtlSmNtcpUCxBQoE1rMoKQJ08KpUuBSKS7N1AC2klimUqNddNUam7hyb3HhqyYW28qV3q9i8evfxF62bFyHZT13oWgpDMVHVMVPVAnt_4GaYBfLrftHcdEq1sG_blxsis8brKubYKpiNMwlAZkypO_D7WxX</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC7207277</pqid></control><display><type>book</type><title>Program Construction: International Summer School</title><source>Springer Books</source><creator>Bauer, F.L ; Dijkstra, E. W ; Broy, M ; Gerhart, S. L ; Gries, D ; Griffiths, M ; Guttag, J. V ; Horning, J. J ; Owicki, S. S ; Pair, C</creator><contributor>Pair, C. ; Griffiths, M. ; Broy, Manfred ; Bauer, Friedrich L. ; Dijkstra, E. W. ; Owicki, S. S. ; Pepper, P. ; Gerhart, S. L. ; Gries, D. ; Wirsing, M. ; Guttag, J. V. ; Partsch, H. ; Wössner, H. ; Horning, J. J.</contributor><creatorcontrib>Bauer, F.L ; Dijkstra, E. W ; Broy, M ; Gerhart, S. L ; Gries, D ; Griffiths, M ; Guttag, J. V ; Horning, J. J ; Owicki, S. S ; Pair, C ; SpringerLink (Online service) ; Pair, C. ; Griffiths, M. ; Broy, Manfred ; Bauer, Friedrich L. ; Dijkstra, E. W. ; Owicki, S. S. ; Pepper, P. ; Gerhart, S. L. ; Gries, D. ; Wirsing, M. ; Guttag, J. V. ; Partsch, H. ; Wössner, H. ; Horning, J. J.</creatorcontrib><edition>1979 edition.</edition><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540092513</identifier><identifier>ISBN: 354009251X</identifier><identifier>ISBN: 9783662178669</identifier><identifier>ISBN: 3662178664</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540353126</identifier><identifier>EISBN: 3540353127</identifier><identifier>DOI: 10.1007/BFb0014649</identifier><identifier>OCLC: 1374427701</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin / Heidelberg</publisher><subject>Computer programming ; Computer programs-Verification ; Computer Science ; Programming Techniques</subject><creationdate>1979</creationdate><tpages>661</tpages><format>661</format><rights>Springer-Verlag Berlin Heidelberg 1979</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-540-35312-6</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/BFb0014649$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/BFb0014649$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>306,776,780,782,27902,38232,41418,42487</link.rule.ids></links><search><contributor>Pair, C.</contributor><contributor>Griffiths, M.</contributor><contributor>Broy, Manfred</contributor><contributor>Bauer, Friedrich L.</contributor><contributor>Dijkstra, E. W.</contributor><contributor>Owicki, S. S.</contributor><contributor>Pepper, P.</contributor><contributor>Gerhart, S. L.</contributor><contributor>Gries, D.</contributor><contributor>Wirsing, M.</contributor><contributor>Guttag, J. V.</contributor><contributor>Partsch, H.</contributor><contributor>Wössner, H.</contributor><contributor>Horning, J. J.</contributor><creatorcontrib>Bauer, F.L</creatorcontrib><creatorcontrib>Dijkstra, E. W</creatorcontrib><creatorcontrib>Broy, M</creatorcontrib><creatorcontrib>Gerhart, S. L</creatorcontrib><creatorcontrib>Gries, D</creatorcontrib><creatorcontrib>Griffiths, M</creatorcontrib><creatorcontrib>Guttag, J. V</creatorcontrib><creatorcontrib>Horning, J. J</creatorcontrib><creatorcontrib>Owicki, S. S</creatorcontrib><creatorcontrib>Pair, C</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib><title>Program Construction: International Summer School</title><subject>Computer programming</subject><subject>Computer programs-Verification</subject><subject>Computer Science</subject><subject>Programming Techniques</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540092513</isbn><isbn>354009251X</isbn><isbn>9783662178669</isbn><isbn>3662178664</isbn><isbn>9783540353126</isbn><isbn>3540353127</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>1979</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNp1kLtOAzEQRc1ThJAG8QF0QLFk_LbLZJUAUiQoEO3K6zgPsqyDvQm_j2ERCAmmmCnm3KuZi9AphmsMIPvDcQmAmWB6B_W0VJQzoJxiInZRBwuMM0qZ3vvegSYc033UAQok05LRQ3SMqWSMSAn4CPVifIZUlHANooPOHoKfB_Nynvs6NmFjm6WvT9DBzFTR9b5mFz2NR4_5bTa5v7nLB5PMMOBcZApAWTWThmtlSmNtcpUCxBQoE1rMoKQJ08KpUuBSKS7N1AC2klimUqNddNUam7hyb3HhqyYW28qV3q9i8evfxF62bFyHZT13oWgpDMVHVMVPVAnt_4GaYBfLrftHcdEq1sG_blxsis8brKubYKpiNMwlAZkypO_D7WxX</recordid><startdate>1979</startdate><enddate>1979</enddate><creator>Bauer, F.L</creator><creator>Dijkstra, E. W</creator><creator>Broy, M</creator><creator>Gerhart, S. L</creator><creator>Gries, D</creator><creator>Griffiths, M</creator><creator>Guttag, J. V</creator><creator>Horning, J. J</creator><creator>Owicki, S. S</creator><creator>Pair, C</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope/></search><sort><creationdate>1979</creationdate><title>Program Construction</title><author>Bauer, F.L ; Dijkstra, E. W ; Broy, M ; Gerhart, S. L ; Gries, D ; Griffiths, M ; Guttag, J. V ; Horning, J. J ; Owicki, S. S ; Pair, C</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a40556-8008c8f7a598abacc3257606d034696f0b355696e8b61b8857ada01c72c4872c3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>1979</creationdate><topic>Computer programming</topic><topic>Computer programs-Verification</topic><topic>Computer Science</topic><topic>Programming Techniques</topic><toplevel>online_resources</toplevel><creatorcontrib>Bauer, F.L</creatorcontrib><creatorcontrib>Dijkstra, E. W</creatorcontrib><creatorcontrib>Broy, M</creatorcontrib><creatorcontrib>Gerhart, S. L</creatorcontrib><creatorcontrib>Gries, D</creatorcontrib><creatorcontrib>Griffiths, M</creatorcontrib><creatorcontrib>Guttag, J. V</creatorcontrib><creatorcontrib>Horning, J. J</creatorcontrib><creatorcontrib>Owicki, S. S</creatorcontrib><creatorcontrib>Pair, C</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bauer, F.L</au><au>Dijkstra, E. W</au><au>Broy, M</au><au>Gerhart, S. L</au><au>Gries, D</au><au>Griffiths, M</au><au>Guttag, J. V</au><au>Horning, J. J</au><au>Owicki, S. S</au><au>Pair, C</au><au>Pair, C.</au><au>Griffiths, M.</au><au>Broy, Manfred</au><au>Bauer, Friedrich L.</au><au>Dijkstra, E. W.</au><au>Owicki, S. S.</au><au>Pepper, P.</au><au>Gerhart, S. L.</au><au>Gries, D.</au><au>Wirsing, M.</au><au>Guttag, J. V.</au><au>Partsch, H.</au><au>Wössner, H.</au><au>Horning, J. J.</au><aucorp>SpringerLink (Online service)</aucorp><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Program Construction: International Summer School</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>1979</date><risdate>1979</risdate><volume>69</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540092513</isbn><isbn>354009251X</isbn><isbn>9783662178669</isbn><isbn>3662178664</isbn><eisbn>9783540353126</eisbn><eisbn>3540353127</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/BFb0014649</doi><oclcid>1374427701</oclcid><tpages>661</tpages><edition>1979 edition.</edition></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_askewsholts_vlebooks_9783540353126 |
| source | Springer Books |
| subjects | Computer programming Computer programs-Verification Computer Science Programming Techniques |
| title | Program Construction: International Summer School |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-01T07%3A38%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Program%20Construction:%20International%20Summer%20School&rft.au=Bauer,%20F.L&rft.aucorp=SpringerLink%20(Online%20service)&rft.date=1979&rft.volume=69&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540092513&rft.isbn_list=354009251X&rft.isbn_list=9783662178669&rft.isbn_list=3662178664&rft_id=info:doi/10.1007/BFb0014649&rft_dat=%3Cproquest_askew%3EEBC7207277%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540353126&rft.eisbn_list=3540353127&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC7207277&rft_id=info:pmid/&rfr_iscdi=true |