Introduction to program verification:
Abstract: "We provide a systematic introduction to program verification based on the assertional method. We study here deterministic, nondeterministic, parallel and distributed programs and deal with such properties as partial correctness, termination, absence of failures, interference freedom...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1990
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
90,36 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Abstract: "We provide a systematic introduction to program verification based on the assertional method. We study here deterministic, nondeterministic, parallel and distributed programs and deal with such properties as partial correctness, termination, absence of failures, interference freedom and deadlock freedom." |
| Beschreibung: | 69 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008973939 | ||
| 003 | DE-604 | ||
| 005 | 20220221 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 00||| eng d | ||
| 035 | |a (OCoLC)25617061 | ||
| 035 | |a (DE-599)BVBBV008973939 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Apt, Krzysztof R. |d 1949- |e Verfasser |0 (DE-588)110139763 |4 aut | |
| 245 | 1 | 0 | |a Introduction to program verification |c Krzysztof R. Apt ; Ernst-Rüdiger Olderog |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 69 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 90,36 | |
| 520 | 3 | |a Abstract: "We provide a systematic introduction to program verification based on the assertional method. We study here deterministic, nondeterministic, parallel and distributed programs and deal with such properties as partial correctness, termination, absence of failures, interference freedom and deadlock freedom." | |
| 650 | 4 | |a Computer programs |x Verification | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger |d 1955- |e Verfasser |0 (DE-588)136626890 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 90,36 |w (DE-604)BV008928356 |9 90,36 | |
| 856 | 4 | 1 | |u https://ir.cwi.nl/pub/5667 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005925589 | ||
Datensatz im Suchindex
| _version_ | 1804123311924314112 |
|---|---|
| any_adam_object | |
| author | Apt, Krzysztof R. 1949- Olderog, Ernst-Rüdiger 1955- |
| author_GND | (DE-588)110139763 (DE-588)136626890 |
| author_facet | Apt, Krzysztof R. 1949- Olderog, Ernst-Rüdiger 1955- |
| author_role | aut aut |
| author_sort | Apt, Krzysztof R. 1949- |
| author_variant | k r a kr kra e r o ero |
| building | Verbundindex |
| bvnumber | BV008973939 |
| collection | ebook |
| ctrlnum | (OCoLC)25617061 (DE-599)BVBBV008973939 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01562nam a2200337 cb4500</leader><controlfield tag="001">BV008973939</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220221 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1990 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25617061</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008973939</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to program verification</subfield><subfield code="c">Krzysztof R. Apt ; Ernst-Rüdiger Olderog</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">69 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">90,36</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We provide a systematic introduction to program verification based on the assertional method. We study here deterministic, nondeterministic, parallel and distributed programs and deal with such properties as partial correctness, termination, absence of failures, interference freedom and deadlock freedom."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">90,36</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,36</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://ir.cwi.nl/pub/5667</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005925589</subfield></datafield></record></collection> |
| id | DE-604.BV008973939 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005925589 |
| oclc_num | 25617061 |
| open_access_boolean | 1 |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 69 S. |
| psigel | ebook |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Apt, Krzysztof R. 1949- Verfasser (DE-588)110139763 aut Introduction to program verification Krzysztof R. Apt ; Ernst-Rüdiger Olderog Amsterdam 1990 69 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 90,36 Abstract: "We provide a systematic introduction to program verification based on the assertional method. We study here deterministic, nondeterministic, parallel and distributed programs and deal with such properties as partial correctness, termination, absence of failures, interference freedom and deadlock freedom." Computer programs Verification Olderog, Ernst-Rüdiger 1955- Verfasser (DE-588)136626890 aut Erscheint auch als Online-Ausgabe Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 90,36 (DE-604)BV008928356 90,36 https://ir.cwi.nl/pub/5667 Verlag kostenfrei Volltext |
| spellingShingle | Apt, Krzysztof R. 1949- Olderog, Ernst-Rüdiger 1955- Introduction to program verification Computer programs Verification |
| title | Introduction to program verification |
| title_auth | Introduction to program verification |
| title_exact_search | Introduction to program verification |
| title_full | Introduction to program verification Krzysztof R. Apt ; Ernst-Rüdiger Olderog |
| title_fullStr | Introduction to program verification Krzysztof R. Apt ; Ernst-Rüdiger Olderog |
| title_full_unstemmed | Introduction to program verification Krzysztof R. Apt ; Ernst-Rüdiger Olderog |
| title_short | Introduction to program verification |
| title_sort | introduction to program verification |
| topic | Computer programs Verification |
| topic_facet | Computer programs Verification |
| url | https://ir.cwi.nl/pub/5667 |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT aptkrzysztofr introductiontoprogramverification AT olderogernstrudiger introductiontoprogramverification |