Time for verification: essays in memory of Amir Pnueli
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6200 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 399 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783642137532 3642137539 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036567488 | ||
| 003 | DE-604 | ||
| 005 | 20181208 | ||
| 007 | t| | ||
| 008 | 100715s2010 xx ad|| |||| 01||| eng d | ||
| 015 | |a 10,N21 |2 dnb | ||
| 016 | 7 | |a 1002541069 |2 DE-101 | |
| 020 | |a 9783642137532 |c kart. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.) |9 978-3-642-13753-2 | ||
| 020 | |a 3642137539 |9 3-642-13753-9 | ||
| 024 | 3 | |a 9783642137532 | |
| 028 | 5 | 2 | |a 80016188 |
| 035 | |a (OCoLC)658317790 | ||
| 035 | |a (DE-599)DNB1002541069 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-706 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Time for verification |b essays in memory of Amir Pnueli |c Zohar Manna ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 399 S. |b Ill., graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6200 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Manna, Zohar |d 1939-2018 |0 (DE-588)128838248 |4 edt | |
| 700 | 1 | |a Pnûʾēlî, Āmîr |4 hnr | |
| 830 | 0 | |a Lecture notes in computer science |v 6200 |w (DE-604)BV000000607 |9 6200 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3476867&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020488669&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020488669 | |
Datensatz im Suchindex
| _version_ | 1820875242744053760 |
|---|---|
| adam_text |
TABLE OF CONTENTS MODAL AND TEMPORAL ARGUMENTATION NETWORKS 1 HOWARD
BARRINGER AND DOV M. GABBAY KNOWLEDGE BASED SCHEDULING OF DISTRIBUTED
SYSTEMS 26 SADDEK BENSALEM, DOWN PELED, AND JOSEPH SIFAKIS QUANTITATIVE
SIMULATION GAMES 42 PAVOL CERNY, THOMAS A. HENZINGER, AND AR JUN
RADHAKRISHNA THE LOCALIZATION REDUCTION AND COUNTEREXAMPLE-GUIDED
ABSTRACTION REFINEMENT 61 EDMUND M. CLARKE, ROBERT P. KUR SHAN, AND
HELMUT VEITH A SCALABLE SEGMENTED DECISION TREE ABSTRACT DOMAIN 72
PATRICK COUSOT, RADHIA COUSOT, AND LAURENT MAUBORGNE TOWARDS COMPONENT
BASED DESIGN OF HYBRID SYSTEMS: SAFETY AND STABILITY 96 WERNER DAMM,
HENNING DIERKS, JENS OEHLERKING, AND AMIR PNUELI MILDLY
CONTEXT-SENSITIVE LANGUAGES VIA BUFFER AUGMENTED PREGROUP GRAMMARS 144
DANIEL GENKIN, NISSIM FRANCEZ, AND MICHAEL KAMINSKI INFERENCE RULES FOR
PROVING THE EQUIVALENCE OF RECURSIVE PROCEDURES . 167 BENNY GODLIN AND
OFER STRICHMAN SOME THOUGHTS ON THE SEMANTICS OF BIOCHARTS 185 DAVID
HAREL AND HILLEL KUGLER UNRAVELING A CARD TRICK 195 TONY HOARE AND
NATARAJAN SHANKAR AN AUTOMATA-THEORETIC APPROACH TO INFINITE-STATE
SYSTEMS 202 ORNA KUPFERMAN, NIR PITERMAN, AND MOSHE Y. VARDI ON THE
KROHN-RHODES CASCADED DECOMPOSITION THEOREM 260 ODED BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/1002541069 DIGITALISIERT DURCH X TABLE OF
CONTENTS THE ARROW OF TIME THROUGH THE LENS OF COMPUTING 362 KRISHNA V.
PALEM WHAT IS IN A STEP: NEW PERSPECTIVES ON A CLASSICAL QUESTION 370
WILLEM-PAUL DE ROEVER, GERALD LUETTGEN, AND MICHAEL MENDIER AUTHOR INDEX
401 |
| any_adam_object | 1 |
| author2 | Manna, Zohar 1939-2018 |
| author2_role | edt |
| author2_variant | z m zm |
| author_GND | (DE-588)128838248 |
| author_facet | Manna, Zohar 1939-2018 |
| building | Verbundindex |
| bvnumber | BV036567488 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f DAT 325f |
| ctrlnum | (OCoLC)658317790 (DE-599)DNB1002541069 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036567488</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181208</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100715s2010 xx ad|| |||| 01||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002541069</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642137532</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13753-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642137539</subfield><subfield code="9">3-642-13753-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642137532</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80016188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)658317790</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002541069</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-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</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">Time for verification</subfield><subfield code="b">essays in memory of Amir Pnueli</subfield><subfield code="c">Zohar Manna ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 399 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</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">Lecture notes in computer science</subfield><subfield code="v">6200</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Manna, Zohar</subfield><subfield code="d">1939-2018</subfield><subfield code="0">(DE-588)128838248</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pnûʾēlî, Āmîr</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6200</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6200</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3476867&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020488669&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020488669</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Aufsatzsammlung Festschrift |
| id | DE-604.BV036567488 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:30Z |
| institution | BVB |
| isbn | 9783642137532 3642137539 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020488669 |
| oclc_num | 658317790 |
| open_access_boolean | |
| owner | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-11 DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | X, 399 S. Ill., graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Time for verification essays in memory of Amir Pnueli Zohar Manna ... (eds.) Berlin [u.a.] Springer 2010 X, 399 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6200 Formale Methode (DE-588)4333722-3 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s DE-604 Manna, Zohar 1939-2018 (DE-588)128838248 edt Pnûʾēlî, Āmîr hnr Lecture notes in computer science 6200 (DE-604)BV000000607 6200 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3476867&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020488669&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Time for verification essays in memory of Amir Pnueli Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4135577-5 (DE-588)4143413-4 (DE-588)4016928-5 |
| title | Time for verification essays in memory of Amir Pnueli |
| title_auth | Time for verification essays in memory of Amir Pnueli |
| title_exact_search | Time for verification essays in memory of Amir Pnueli |
| title_full | Time for verification essays in memory of Amir Pnueli Zohar Manna ... (eds.) |
| title_fullStr | Time for verification essays in memory of Amir Pnueli Zohar Manna ... (eds.) |
| title_full_unstemmed | Time for verification essays in memory of Amir Pnueli Zohar Manna ... (eds.) |
| title_short | Time for verification |
| title_sort | time for verification essays in memory of amir pnueli |
| title_sub | essays in memory of Amir Pnueli |
| topic | Formale Methode (DE-588)4333722-3 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Formale Methode Verifikation Aufsatzsammlung Festschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3476867&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020488669&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT mannazohar timeforverificationessaysinmemoryofamirpnueli AT pnuʾeliamir timeforverificationessaysinmemoryofamirpnueli |