Symbolic model checking:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Kluwer
1993
|
| Schlagworte: | |
| Beschreibung: | XV, 194 S. graph. Darst. |
| ISBN: | 0792393805 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008178447 | ||
| 003 | DE-604 | ||
| 005 | 20140204 | ||
| 007 | t| | ||
| 008 | 930820s1993 xx d||| |||| 00||| eng d | ||
| 020 | |a 0792393805 |9 0-7923-9380-5 | ||
| 035 | |a (OCoLC)28212243 | ||
| 035 | |a (DE-599)BVBBV008178447 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a TK7888.4 | |
| 082 | 0 | |a 621.39/2 |2 20 | |
| 084 | |a ST 190 |0 (DE-625)143607: |2 rvk | ||
| 084 | |a ELT 459f |2 stub | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 195f |2 stub | ||
| 100 | 1 | |a McMillan, Kenneth L. |e Verfasser |0 (DE-588)1047138220 |4 aut | |
| 245 | 1 | 0 | |a Symbolic model checking |c by Kenneth L. McMillan |
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 1993 | |
| 300 | |a XV, 194 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Circuits électriques - Analyse symbolique - Informatique | |
| 650 | 4 | |a Ordinateurs - Circuits - Conception et construction - Informatique | |
| 650 | 7 | |a Ordinateurs - Circuits - Conception et construction |2 ram | |
| 650 | 7 | |a SMV |2 inriac | |
| 650 | 4 | |a Structure logique - Informatique | |
| 650 | 7 | |a Structure logique |2 ram | |
| 650 | 7 | |a conception circuit |2 inriac | |
| 650 | 7 | |a conception logique |2 inriac | |
| 650 | 7 | |a protocole |2 inriac | |
| 650 | 7 | |a spécification abstraite |2 inriac | |
| 650 | 7 | |a système complexe |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic digital computers |x Circuits |x Design |x Data processing | |
| 650 | 4 | |a Logic design |x Data processing | |
| 650 | 4 | |a Symbolic circuit analysis |x Data processing | |
| 650 | 0 | 7 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Personal Computer |0 (DE-588)4115533-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierbare logische Anordnung |0 (DE-588)4076369-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schaltwerk |0 (DE-588)4052057-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Schaltwerk |0 (DE-588)4052057-2 |D s |
| 689 | 0 | 1 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierbare logische Anordnung |0 (DE-588)4076369-9 |D s |
| 689 | 1 | 1 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |D s |
| 689 | 1 | 2 | |a Personal Computer |0 (DE-588)4115533-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |D s |
| 689 | 2 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005397066 | |
Datensatz im Suchindex
| _version_ | 1818420821770633216 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | McMillan, Kenneth L. |
| author_GND | (DE-588)1047138220 |
| author_facet | McMillan, Kenneth L. |
| author_role | aut |
| author_sort | McMillan, Kenneth L. |
| author_variant | k l m kl klm |
| building | Verbundindex |
| bvnumber | BV008178447 |
| callnumber-first | T - Technology |
| callnumber-label | TK7888 |
| callnumber-raw | TK7888.4 |
| callnumber-search | TK7888.4 |
| callnumber-sort | TK 47888.4 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 190 |
| classification_tum | ELT 459f DAT 330f DAT 195f |
| ctrlnum | (OCoLC)28212243 (DE-599)BVBBV008178447 |
| dewey-full | 621.39/2 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39/2 |
| dewey-search | 621.39/2 |
| dewey-sort | 3621.39 12 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV008178447</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140204</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930820s1993 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792393805</subfield><subfield code="9">0-7923-9380-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28212243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008178447</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-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7888.4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 459f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 195f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">McMillan, Kenneth L.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047138220</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Symbolic model checking</subfield><subfield code="c">by Kenneth L. McMillan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 194 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="650" ind1=" " ind2="4"><subfield code="a">Circuits électriques - Analyse symbolique - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs - Circuits - Conception et construction - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Circuits - Conception et construction</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SMV</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Structure logique - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Structure logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception circuit</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système complexe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Circuits</subfield><subfield code="x">Design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic circuit analysis</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Personal Computer</subfield><subfield code="0">(DE-588)4115533-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</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="650" ind1="0" ind2="7"><subfield code="a">Programmierbare logische Anordnung</subfield><subfield code="0">(DE-588)4076369-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schaltwerk</subfield><subfield code="0">(DE-588)4052057-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Schaltwerk</subfield><subfield code="0">(DE-588)4052057-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierbare logische Anordnung</subfield><subfield code="0">(DE-588)4076369-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Personal Computer</subfield><subfield code="0">(DE-588)4115533-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005397066</subfield></datafield></record></collection> |
| id | DE-604.BV008178447 |
| illustrated | Illustrated |
| indexdate | 2024-12-14T13:00:32Z |
| institution | BVB |
| isbn | 0792393805 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005397066 |
| oclc_num | 28212243 |
| open_access_boolean | |
| owner | DE-739 DE-91 DE-BY-TUM DE-634 DE-83 |
| owner_facet | DE-739 DE-91 DE-BY-TUM DE-634 DE-83 |
| physical | XV, 194 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Kluwer |
| record_format | marc |
| spelling | McMillan, Kenneth L. Verfasser (DE-588)1047138220 aut Symbolic model checking by Kenneth L. McMillan Boston [u.a.] Kluwer 1993 XV, 194 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Circuits électriques - Analyse symbolique - Informatique Ordinateurs - Circuits - Conception et construction - Informatique Ordinateurs - Circuits - Conception et construction ram SMV inriac Structure logique - Informatique Structure logique ram conception circuit inriac conception logique inriac protocole inriac spécification abstraite inriac système complexe inriac théorie démonstration inriac vérification inriac Datenverarbeitung Electronic digital computers Circuits Design Data processing Logic design Data processing Symbolic circuit analysis Data processing Schaltungsentwurf (DE-588)4179389-4 gnd rswk-swf Personal Computer (DE-588)4115533-6 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Programmierbare logische Anordnung (DE-588)4076369-9 gnd rswk-swf Schaltwerk (DE-588)4052057-2 gnd rswk-swf Schaltwerk (DE-588)4052057-2 s Korrektheit (DE-588)4240223-2 s DE-604 Programmierbare logische Anordnung (DE-588)4076369-9 s Schaltungsentwurf (DE-588)4179389-4 s Personal Computer (DE-588)4115533-6 s 1\p DE-604 Verifikation (DE-588)4135577-5 s 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | McMillan, Kenneth L. Symbolic model checking Circuits électriques - Analyse symbolique - Informatique Ordinateurs - Circuits - Conception et construction - Informatique Ordinateurs - Circuits - Conception et construction ram SMV inriac Structure logique - Informatique Structure logique ram conception circuit inriac conception logique inriac protocole inriac spécification abstraite inriac système complexe inriac théorie démonstration inriac vérification inriac Datenverarbeitung Electronic digital computers Circuits Design Data processing Logic design Data processing Symbolic circuit analysis Data processing Schaltungsentwurf (DE-588)4179389-4 gnd Personal Computer (DE-588)4115533-6 gnd Korrektheit (DE-588)4240223-2 gnd Verifikation (DE-588)4135577-5 gnd Programmierbare logische Anordnung (DE-588)4076369-9 gnd Schaltwerk (DE-588)4052057-2 gnd |
| subject_GND | (DE-588)4179389-4 (DE-588)4115533-6 (DE-588)4240223-2 (DE-588)4135577-5 (DE-588)4076369-9 (DE-588)4052057-2 |
| title | Symbolic model checking |
| title_auth | Symbolic model checking |
| title_exact_search | Symbolic model checking |
| title_full | Symbolic model checking by Kenneth L. McMillan |
| title_fullStr | Symbolic model checking by Kenneth L. McMillan |
| title_full_unstemmed | Symbolic model checking by Kenneth L. McMillan |
| title_short | Symbolic model checking |
| title_sort | symbolic model checking |
| topic | Circuits électriques - Analyse symbolique - Informatique Ordinateurs - Circuits - Conception et construction - Informatique Ordinateurs - Circuits - Conception et construction ram SMV inriac Structure logique - Informatique Structure logique ram conception circuit inriac conception logique inriac protocole inriac spécification abstraite inriac système complexe inriac théorie démonstration inriac vérification inriac Datenverarbeitung Electronic digital computers Circuits Design Data processing Logic design Data processing Symbolic circuit analysis Data processing Schaltungsentwurf (DE-588)4179389-4 gnd Personal Computer (DE-588)4115533-6 gnd Korrektheit (DE-588)4240223-2 gnd Verifikation (DE-588)4135577-5 gnd Programmierbare logische Anordnung (DE-588)4076369-9 gnd Schaltwerk (DE-588)4052057-2 gnd |
| topic_facet | Circuits électriques - Analyse symbolique - Informatique Ordinateurs - Circuits - Conception et construction - Informatique Ordinateurs - Circuits - Conception et construction SMV Structure logique - Informatique Structure logique conception circuit conception logique protocole spécification abstraite système complexe théorie démonstration vérification Datenverarbeitung Electronic digital computers Circuits Design Data processing Logic design Data processing Symbolic circuit analysis Data processing Schaltungsentwurf Personal Computer Korrektheit Verifikation Programmierbare logische Anordnung Schaltwerk |
| work_keys_str_mv | AT mcmillankennethl symbolicmodelchecking |