Temporal logic for real-time systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Taunton u.a.
Research Studies Press u.a.
1989
|
| Schriftenreihe: | Advanced software development series
1 |
| Schlagworte: | |
| Beschreibung: | XIII, 209 S. graph. Darst. |
| ISBN: | 0863800866 0471924024 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002657637 | ||
| 003 | DE-604 | ||
| 005 | 19940302 | ||
| 007 | t | ||
| 008 | 900607s1989 d||| |||| 00||| eng d | ||
| 020 | |a 0863800866 |9 0-86380-086-6 | ||
| 020 | |a 0471924024 |9 0-471-92402-4 | ||
| 035 | |a (OCoLC)243423481 | ||
| 035 | |a (DE-599)BVBBV002657637 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-739 |a DE-29T |a DE-384 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.54 | |
| 082 | 0 | |a 004/.33 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 549f |2 stub | ||
| 100 | 1 | |a Ostroff, Jonathan S. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Temporal logic for real-time systems |c Jonathan S. Ostroff |
| 264 | 1 | |a Taunton u.a. |b Research Studies Press u.a. |c 1989 | |
| 300 | |a XIII, 209 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Advanced software development series |v 1 | |
| 650 | 4 | |a Fabrication - Contrôle | |
| 650 | 4 | |a Systèmes échantillonnés | |
| 650 | 4 | |a Temps réel | |
| 650 | 7 | |a Temps réel (informatique) |2 ram | |
| 650 | 7 | |a commande processus |2 inriac | |
| 650 | 7 | |a contrainte |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a processus décision |2 inriac | |
| 650 | 7 | |a système preuve |2 inriac | |
| 650 | 7 | |a système temps discret |2 inriac | |
| 650 | 7 | |a système temps réel |2 inriac | |
| 650 | 7 | |a système événement discret |2 inriac | |
| 650 | 4 | |a Discrete-time systems | |
| 650 | 4 | |a Process control | |
| 650 | 4 | |a Real-time data processing | |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 1 | 1 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Advanced software development series |v 1 |w (DE-604)BV002657667 |9 1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001703992 | ||
Datensatz im Suchindex
| _version_ | 1804117036064833536 |
|---|---|
| any_adam_object | |
| author | Ostroff, Jonathan S. |
| author_facet | Ostroff, Jonathan S. |
| author_role | aut |
| author_sort | Ostroff, Jonathan S. |
| author_variant | j s o js jso |
| building | Verbundindex |
| bvnumber | BV002657637 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.54 |
| callnumber-search | QA76.54 |
| callnumber-sort | QA 276.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 549f |
| ctrlnum | (OCoLC)243423481 (DE-599)BVBBV002657637 |
| dewey-full | 004/.33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.33 |
| dewey-search | 004/.33 |
| dewey-sort | 14 233 |
| 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>02046nam a2200601 cb4500</leader><controlfield tag="001">BV002657637</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940302 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900607s1989 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0863800866</subfield><subfield code="9">0-86380-086-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471924024</subfield><subfield code="9">0-471-92402-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243423481</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002657637</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-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.33</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">DAT 549f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ostroff, Jonathan S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Temporal logic for real-time systems</subfield><subfield code="c">Jonathan S. Ostroff</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Taunton u.a.</subfield><subfield code="b">Research Studies Press u.a.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 209 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">Advanced software development series</subfield><subfield code="v">1</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fabrication - Contrôle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes échantillonnés</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temps réel</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Temps réel (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">commande processus</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus décision</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système preuve</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système temps discret</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système temps réel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système événement discret</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete-time systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Process control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Advanced software development series</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV002657667</subfield><subfield code="9">1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001703992</subfield></datafield></record></collection> |
| id | DE-604.BV002657637 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:48:01Z |
| institution | BVB |
| isbn | 0863800866 0471924024 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001703992 |
| oclc_num | 243423481 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-739 DE-29T DE-384 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-739 DE-29T DE-384 DE-83 DE-11 |
| physical | XIII, 209 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Research Studies Press u.a. |
| record_format | marc |
| series | Advanced software development series |
| series2 | Advanced software development series |
| spelling | Ostroff, Jonathan S. Verfasser aut Temporal logic for real-time systems Jonathan S. Ostroff Taunton u.a. Research Studies Press u.a. 1989 XIII, 209 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Advanced software development series 1 Fabrication - Contrôle Systèmes échantillonnés Temps réel Temps réel (informatique) ram commande processus inriac contrainte inriac logique temporelle inriac processus décision inriac système preuve inriac système temps discret inriac système temps réel inriac système événement discret inriac Discrete-time systems Process control Real-time data processing Temporale Logik (DE-588)4137542-7 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 s DE-604 Temporale Logik (DE-588)4137542-7 s Advanced software development series 1 (DE-604)BV002657667 1 |
| spellingShingle | Ostroff, Jonathan S. Temporal logic for real-time systems Advanced software development series Fabrication - Contrôle Systèmes échantillonnés Temps réel Temps réel (informatique) ram commande processus inriac contrainte inriac logique temporelle inriac processus décision inriac système preuve inriac système temps discret inriac système temps réel inriac système événement discret inriac Discrete-time systems Process control Real-time data processing Temporale Logik (DE-588)4137542-7 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| subject_GND | (DE-588)4137542-7 (DE-588)4131397-5 |
| title | Temporal logic for real-time systems |
| title_auth | Temporal logic for real-time systems |
| title_exact_search | Temporal logic for real-time systems |
| title_full | Temporal logic for real-time systems Jonathan S. Ostroff |
| title_fullStr | Temporal logic for real-time systems Jonathan S. Ostroff |
| title_full_unstemmed | Temporal logic for real-time systems Jonathan S. Ostroff |
| title_short | Temporal logic for real-time systems |
| title_sort | temporal logic for real time systems |
| topic | Fabrication - Contrôle Systèmes échantillonnés Temps réel Temps réel (informatique) ram commande processus inriac contrainte inriac logique temporelle inriac processus décision inriac système preuve inriac système temps discret inriac système temps réel inriac système événement discret inriac Discrete-time systems Process control Real-time data processing Temporale Logik (DE-588)4137542-7 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| topic_facet | Fabrication - Contrôle Systèmes échantillonnés Temps réel Temps réel (informatique) commande processus contrainte logique temporelle processus décision système preuve système temps discret système temps réel système événement discret Discrete-time systems Process control Real-time data processing Temporale Logik Echtzeitsystem |
| volume_link | (DE-604)BV002657667 |
| work_keys_str_mv | AT ostroffjonathans temporallogicforrealtimesystems |