Logique temporelle: sémantique et validation de programmes parallèles
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | French |
| Published: |
Paris u.a.
Masson
1990
|
| Series: | Etudes et recherches en informatique
|
| Subjects: | |
| Physical Description: | VI, 234 S. graph. Darst. |
| ISBN: | 222581967X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006597181 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930210s1990 d||| |||| 00||| fre d | ||
| 020 | |a 222581967X |9 2-225-81967-X | ||
| 035 | |a (OCoLC)22735411 | ||
| 035 | |a (DE-599)BVBBV006597181 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-739 |a DE-29T | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 004.35 |b AUD | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Audureau, Eric |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logique temporelle |b sémantique et validation de programmes parallèles |c Eric Audureau ; Patrice Enjalbert ; Luis Fariñas del Cerro |
| 264 | 1 | |a Paris u.a. |b Masson |c 1990 | |
| 300 | |a VI, 234 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Etudes et recherches en informatique | |
| 650 | 7 | |a CSP |2 inriac | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Parallélisme (Informatique) |2 ram | |
| 650 | 4 | |a Programmation logique | |
| 650 | 4 | |a Programmation parallèle (Informatique) | |
| 650 | 7 | |a Programmation parallèle (Informatique) |2 ram | |
| 650 | 4 | |a Programmation parallèle (informatique) | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a programme parallèle |2 inriac | |
| 650 | 7 | |a synthèse programme |2 inriac | |
| 650 | 7 | |a sémantique programmation |2 inriac | |
| 650 | 7 | |a validation logiciel |2 inriac | |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 0 | 1 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 2 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Enjalbert, Patrice |e Verfasser |4 aut | |
| 700 | 1 | |a Fariñas del Cerro, Luis |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004212840 | ||
Record in the Search Index
| _version_ | 1804120870650642432 |
|---|---|
| any_adam_object | |
| author | Audureau, Eric Enjalbert, Patrice Fariñas del Cerro, Luis |
| author_facet | Audureau, Eric Enjalbert, Patrice Fariñas del Cerro, Luis |
| author_role | aut aut aut |
| author_sort | Audureau, Eric |
| author_variant | e a ea p e pe d c l f dcl dclf |
| building | Verbundindex |
| bvnumber | BV006597181 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)22735411 (DE-599)BVBBV006597181 |
| dewey-full | 004.35 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.35 |
| dewey-search | 004.35 |
| dewey-sort | 14.35 |
| 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>02042nam a2200565 c 4500</leader><controlfield tag="001">BV006597181</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1990 d||| |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">222581967X</subfield><subfield code="9">2-225-81967-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22735411</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006597181</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">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.35</subfield><subfield code="b">AUD</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="100" ind1="1" ind2=" "><subfield code="a">Audureau, Eric</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logique temporelle</subfield><subfield code="b">sémantique et validation de programmes parallèles</subfield><subfield code="c">Eric Audureau ; Patrice Enjalbert ; Luis Fariñas del Cerro</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris u.a.</subfield><subfield code="b">Masson</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 234 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="0" ind2=" "><subfield code="a">Etudes et recherches en informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CSP</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (Informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation parallèle (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation parallèle (Informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation parallèle (informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique modale</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">programme parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">synthèse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">validation logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-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">Enjalbert, Patrice</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fariñas del Cerro, Luis</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004212840</subfield></datafield></record></collection> |
| id | DE-604.BV006597181 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:48:57Z |
| institution | BVB |
| isbn | 222581967X |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004212840 |
| oclc_num | 22735411 |
| open_access_boolean | |
| owner | DE-739 DE-29T |
| owner_facet | DE-739 DE-29T |
| physical | VI, 234 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Masson |
| record_format | marc |
| series2 | Etudes et recherches en informatique |
| spelling | Audureau, Eric Verfasser aut Logique temporelle sémantique et validation de programmes parallèles Eric Audureau ; Patrice Enjalbert ; Luis Fariñas del Cerro Paris u.a. Masson 1990 VI, 234 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Etudes et recherches en informatique CSP inriac Logique symbolique et mathématique Parallélisme (Informatique) ram Programmation logique Programmation parallèle (Informatique) Programmation parallèle (Informatique) ram Programmation parallèle (informatique) logique modale inriac logique temporelle inriac programme parallèle inriac synthèse programme inriac sémantique programmation inriac validation logiciel inriac Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Temporale Logik (DE-588)4137542-7 s Parallelverarbeitung (DE-588)4075860-6 s Programmierung (DE-588)4076370-5 s DE-604 Enjalbert, Patrice Verfasser aut Fariñas del Cerro, Luis Verfasser aut |
| spellingShingle | Audureau, Eric Enjalbert, Patrice Fariñas del Cerro, Luis Logique temporelle sémantique et validation de programmes parallèles CSP inriac Logique symbolique et mathématique Parallélisme (Informatique) ram Programmation logique Programmation parallèle (Informatique) Programmation parallèle (Informatique) ram Programmation parallèle (informatique) logique modale inriac logique temporelle inriac programme parallèle inriac synthèse programme inriac sémantique programmation inriac validation logiciel inriac Parallelverarbeitung (DE-588)4075860-6 gnd Temporale Logik (DE-588)4137542-7 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4075860-6 (DE-588)4137542-7 (DE-588)4076370-5 |
| title | Logique temporelle sémantique et validation de programmes parallèles |
| title_auth | Logique temporelle sémantique et validation de programmes parallèles |
| title_exact_search | Logique temporelle sémantique et validation de programmes parallèles |
| title_full | Logique temporelle sémantique et validation de programmes parallèles Eric Audureau ; Patrice Enjalbert ; Luis Fariñas del Cerro |
| title_fullStr | Logique temporelle sémantique et validation de programmes parallèles Eric Audureau ; Patrice Enjalbert ; Luis Fariñas del Cerro |
| title_full_unstemmed | Logique temporelle sémantique et validation de programmes parallèles Eric Audureau ; Patrice Enjalbert ; Luis Fariñas del Cerro |
| title_short | Logique temporelle |
| title_sort | logique temporelle semantique et validation de programmes paralleles |
| title_sub | sémantique et validation de programmes parallèles |
| topic | CSP inriac Logique symbolique et mathématique Parallélisme (Informatique) ram Programmation logique Programmation parallèle (Informatique) Programmation parallèle (Informatique) ram Programmation parallèle (informatique) logique modale inriac logique temporelle inriac programme parallèle inriac synthèse programme inriac sémantique programmation inriac validation logiciel inriac Parallelverarbeitung (DE-588)4075860-6 gnd Temporale Logik (DE-588)4137542-7 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | CSP Logique symbolique et mathématique Parallélisme (Informatique) Programmation logique Programmation parallèle (Informatique) Programmation parallèle (informatique) logique modale logique temporelle programme parallèle synthèse programme sémantique programmation validation logiciel Parallelverarbeitung Temporale Logik Programmierung |
| work_keys_str_mv | AT audureaueric logiquetemporellesemantiqueetvalidationdeprogrammesparalleles AT enjalbertpatrice logiquetemporellesemantiqueetvalidationdeprogrammesparalleles AT farinasdelcerroluis logiquetemporellesemantiqueetvalidationdeprogrammesparalleles |