Syntaxe, semantique et axiomatique d'un langage de programmation simple:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Basel [u.a.]
Birkhäuser
1975
|
| Schriftenreihe: | Interdisciplinary systems research
12 |
| Schlagworte: | |
| Beschreibung: | 115 S. |
| ISBN: | 3764307900 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022183631 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 910108s1975 |||| 00||| fre d | ||
| 020 | |a 3764307900 |9 3-7643-0790-0 | ||
| 035 | |a (OCoLC)2051465 | ||
| 035 | |a (DE-599)BVBBV022183631 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 001.6/424 | |
| 100 | 1 | |a Vuillemin, Jean |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| 264 | 1 | |a Basel [u.a.] |b Birkhäuser |c 1975 | |
| 300 | |a 115 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Interdisciplinary systems research |v 12 | |
| 650 | 7 | |a LINGUAGEM DE PROGRAMAÇÃO |2 larpcal | |
| 650 | 4 | |a Langages de programmation | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Interdisciplinary systems research |v 12 |w (DE-604)BV005542384 | |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015398395 | ||
Datensatz im Suchindex
| _version_ | 1804136159214829568 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Vuillemin, Jean |
| author_facet | Vuillemin, Jean |
| author_role | aut |
| author_sort | Vuillemin, Jean |
| author_variant | j v jv |
| building | Verbundindex |
| bvnumber | BV022183631 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)2051465 (DE-599)BVBBV022183631 |
| dewey-full | 001.6/424 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.6/424 |
| dewey-search | 001.6/424 |
| dewey-sort | 11.6 3424 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines |
| discipline_str_mv | Allgemeines |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01326nam a2200409zcb4500</leader><controlfield tag="001">BV022183631</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910108s1975 |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764307900</subfield><subfield code="9">3-7643-0790-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2051465</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022183631</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.6/424</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Vuillemin, Jean</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Syntaxe, semantique et axiomatique d'un langage de programmation simple</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1975</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">115 S.</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">Interdisciplinary systems research</subfield><subfield code="v">12</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LINGUAGEM DE PROGRAMAÇÃO</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Interdisciplinary systems research</subfield><subfield code="v">12</subfield><subfield code="w">(DE-604)BV005542384</subfield><subfield code="9"></subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015398395</subfield></datafield></record></collection> |
| id | DE-604.BV022183631 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:20:43Z |
| indexdate | 2024-07-09T20:51:58Z |
| institution | BVB |
| isbn | 3764307900 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015398395 |
| oclc_num | 2051465 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-188 |
| owner_facet | DE-706 DE-83 DE-188 |
| physical | 115 S. |
| psigel | TUB-nveb |
| publishDate | 1975 |
| publishDateSearch | 1975 |
| publishDateSort | 1975 |
| publisher | Birkhäuser |
| record_format | marc |
| series | Interdisciplinary systems research |
| series2 | Interdisciplinary systems research |
| spelling | Vuillemin, Jean Verfasser aut Syntaxe, semantique et axiomatique d'un langage de programmation simple Basel [u.a.] Birkhäuser 1975 115 S. txt rdacontent n rdamedia nc rdacarrier Interdisciplinary systems research 12 LINGUAGEM DE PROGRAMAÇÃO larpcal Langages de programmation Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s DE-604 Interdisciplinary systems research 12 (DE-604)BV005542384 |
| spellingShingle | Vuillemin, Jean Syntaxe, semantique et axiomatique d'un langage de programmation simple Interdisciplinary systems research LINGUAGEM DE PROGRAMAÇÃO larpcal Langages de programmation Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 |
| title | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_auth | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_exact_search | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_exact_search_txtP | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_full | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_fullStr | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_full_unstemmed | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_short | Syntaxe, semantique et axiomatique d'un langage de programmation simple |
| title_sort | syntaxe semantique et axiomatique d un langage de programmation simple |
| topic | LINGUAGEM DE PROGRAMAÇÃO larpcal Langages de programmation Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | LINGUAGEM DE PROGRAMAÇÃO Langages de programmation Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Programmiersprache |
| volume_link | (DE-604)BV005542384 |
| work_keys_str_mv | AT vuilleminjean syntaxesemantiqueetaxiomatiquedunlangagedeprogrammationsimple |