Program verification: fundamental issues in computer science
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Dordrecht
Springer
2014
|
| Edition: | softcover reprint of the original 1st ed. 1993 |
| Series: | Studies in cognitive systems
14 |
| Subjects: | |
| Physical Description: | XIII, 457 S. graph. Darst. |
| ISBN: | 9789401047890 9401047898 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041782927 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 140407s2014 ne d||| |||| 00||| eng d | ||
| 020 | |a 9789401047890 |9 978-94-010-4789-0 | ||
| 020 | |a 9401047898 |9 94-010-4789-8 | ||
| 035 | |a (OCoLC)915441596 | ||
| 035 | |a (DE-599)BVBBV041782927 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c XA-NL | ||
| 049 | |a DE-11 | ||
| 050 | 0 | |a QA76.76.V47P76 1993 | |
| 082 | 0 | |a 005.1/4 20 | |
| 082 | 0 | |a 005.1/4 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Program verification |b fundamental issues in computer science |c ed. by Timothy R. Colburn ... |
| 250 | |a softcover reprint of the original 1st ed. 1993 | ||
| 264 | 1 | |a Dordrecht |b Springer |c 2014 | |
| 300 | |a XIII, 457 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in cognitive systems |v 14 | |
| 650 | 7 | |a Ordinateurs - Programmation |2 ram | |
| 650 | 7 | |a Software |2 gtt | |
| 650 | 7 | |a Verificatie |2 gtt | |
| 650 | 7 | |a paradigme |2 inriac | |
| 650 | 7 | |a programmation |2 inriac | |
| 650 | 7 | |a vérification formelle |2 inriac | |
| 650 | 7 | |a vérification logiciel |2 inriac | |
| 650 | 7 | |a vérification matériel |2 inriac | |
| 650 | 4 | |a Computer software -- Verification | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Colburn, Timothy R. |e Sonstige |4 oth | |
| 830 | 0 | |a Studies in cognitive systems |v 14 |w (DE-604)BV002750945 |9 14 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027228706 | ||
Record in the Search Index
| _version_ | 1804152096542425088 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV041782927 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47P76 1993 |
| callnumber-search | QA76.76.V47P76 1993 |
| callnumber-sort | QA 276.76 V47 P76 41993 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 233 ST 300 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)915441596 (DE-599)BVBBV041782927 |
| dewey-full | 005.1/420 005.1/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/4 20 005.1/4 |
| dewey-search | 005.1/4 20 005.1/4 |
| dewey-sort | 15.1 14 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | softcover reprint of the original 1st ed. 1993 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01857nam a2200553 cb4500</leader><controlfield tag="001">BV041782927</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140407s2014 ne d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401047890</subfield><subfield code="9">978-94-010-4789-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9401047898</subfield><subfield code="9">94-010-4789-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915441596</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041782927</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="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47P76 1993</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Program verification</subfield><subfield code="b">fundamental issues in computer science</subfield><subfield code="c">ed. by Timothy R. Colburn ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">softcover reprint of the original 1st ed. 1993</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 457 S.</subfield><subfield code="b">graph. Darst.</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">Studies in cognitive systems</subfield><subfield code="v">14</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">paradigme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification matériel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software -- Verification</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Colburn, Timothy R.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in cognitive systems</subfield><subfield code="v">14</subfield><subfield code="w">(DE-604)BV002750945</subfield><subfield code="9">14</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027228706</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV041782927 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:05:17Z |
| institution | BVB |
| isbn | 9789401047890 9401047898 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027228706 |
| oclc_num | 915441596 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | XIII, 457 S. graph. Darst. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Studies in cognitive systems |
| series2 | Studies in cognitive systems |
| spelling | Program verification fundamental issues in computer science ed. by Timothy R. Colburn ... softcover reprint of the original 1st ed. 1993 Dordrecht Springer 2014 XIII, 457 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in cognitive systems 14 Ordinateurs - Programmation ram Software gtt Verificatie gtt paradigme inriac programmation inriac vérification formelle inriac vérification logiciel inriac vérification matériel inriac Computer software -- Verification Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Programmverifikation (DE-588)4135576-3 s DE-604 Colburn, Timothy R. Sonstige oth Studies in cognitive systems 14 (DE-604)BV002750945 14 |
| spellingShingle | Program verification fundamental issues in computer science Studies in cognitive systems Ordinateurs - Programmation ram Software gtt Verificatie gtt paradigme inriac programmation inriac vérification formelle inriac vérification logiciel inriac vérification matériel inriac Computer software -- Verification Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4143413-4 |
| title | Program verification fundamental issues in computer science |
| title_auth | Program verification fundamental issues in computer science |
| title_exact_search | Program verification fundamental issues in computer science |
| title_full | Program verification fundamental issues in computer science ed. by Timothy R. Colburn ... |
| title_fullStr | Program verification fundamental issues in computer science ed. by Timothy R. Colburn ... |
| title_full_unstemmed | Program verification fundamental issues in computer science ed. by Timothy R. Colburn ... |
| title_short | Program verification |
| title_sort | program verification fundamental issues in computer science |
| title_sub | fundamental issues in computer science |
| topic | Ordinateurs - Programmation ram Software gtt Verificatie gtt paradigme inriac programmation inriac vérification formelle inriac vérification logiciel inriac vérification matériel inriac Computer software -- Verification Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Ordinateurs - Programmation Software Verificatie paradigme programmation vérification formelle vérification logiciel vérification matériel Computer software -- Verification Programmverifikation Aufsatzsammlung |
| volume_link | (DE-604)BV002750945 |
| work_keys_str_mv | AT colburntimothyr programverificationfundamentalissuesincomputerscience |