LOTOSphere: software development with LOTOS
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Kluwer
1995
|
| Schlagworte: | |
| Beschreibung: | XXII, 488 S. graph. Darst. |
| ISBN: | 0792395298 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010186566 | ||
| 003 | DE-604 | ||
| 005 | 19960807 | ||
| 007 | t | ||
| 008 | 950517s1995 d||| |||| 00||| eng d | ||
| 020 | |a 0792395298 |9 0-7923-9529-8 | ||
| 035 | |a (OCoLC)31609798 | ||
| 035 | |a (DE-599)BVBBV010186566 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29T |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA76.73.L65 | |
| 082 | 0 | |a 005.7/11 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 245 | 1 | 0 | |a LOTOSphere |b software development with LOTOS |c ed. by Tommaso Bolognesi ... |
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 1995 | |
| 300 | |a XXII, 488 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a COLOS |2 inriac | |
| 650 | 7 | |a G-LOTOS |2 inriac | |
| 650 | 7 | |a GLOW |2 inriac | |
| 650 | 7 | |a LOTOS |2 gtt | |
| 650 | 7 | |a LOTOS |2 inriac | |
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 7 | |a Logiciels - Développement |2 ram | |
| 650 | 7 | |a Lotosphere |2 inriac | |
| 650 | 7 | |a OSI |2 inriac | |
| 650 | 7 | |a SMILE |2 inriac | |
| 650 | 7 | |a développement logiciel |2 inriac | |
| 650 | 7 | |a spécification langage |2 inriac | |
| 650 | 7 | |a spécification protocole |2 inriac | |
| 650 | 7 | |a test |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a LOTOS (Computer program language) | |
| 650 | 0 | 7 | |a LOTOS |g Programmiersprache |0 (DE-588)4208203-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a LOTOS |g Programmiersprache |0 (DE-588)4208203-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bolognesi, Tommaso |e Sonstige |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006767309 | ||
Datensatz im Suchindex
| _version_ | 1804124587275845632 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV010186566 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.L65 |
| callnumber-search | QA76.73.L65 |
| callnumber-sort | QA 276.73 L65 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)31609798 (DE-599)BVBBV010186566 |
| dewey-full | 005.7/11 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7/11 |
| dewey-search | 005.7/11 |
| dewey-sort | 15.7 211 |
| 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>01652nam a2200529 c 4500</leader><controlfield tag="001">BV010186566</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960807 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950517s1995 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792395298</subfield><subfield code="9">0-7923-9529-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31609798</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010186566</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-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.L65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7/11</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="245" ind1="1" ind2="0"><subfield code="a">LOTOSphere</subfield><subfield code="b">software development with LOTOS</subfield><subfield code="c">ed. by Tommaso Bolognesi ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 488 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="7"><subfield code="a">COLOS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">G-LOTOS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">GLOW</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LOTOS</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LOTOS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lotosphere</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">OSI</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SMILE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">développement logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification protocole</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">test</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">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">LOTOS (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">LOTOS</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4208203-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">LOTOS</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4208203-1</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">Bolognesi, Tommaso</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006767309</subfield></datafield></record></collection> |
| id | DE-604.BV010186566 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:48:02Z |
| institution | BVB |
| isbn | 0792395298 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006767309 |
| oclc_num | 31609798 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-634 DE-11 |
| owner_facet | DE-739 DE-29T DE-634 DE-11 |
| physical | XXII, 488 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Kluwer |
| record_format | marc |
| spelling | LOTOSphere software development with LOTOS ed. by Tommaso Bolognesi ... Boston [u.a.] Kluwer 1995 XXII, 488 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier COLOS inriac G-LOTOS inriac GLOW inriac LOTOS gtt LOTOS inriac Langages formels ram Logiciels - Développement ram Lotosphere inriac OSI inriac SMILE inriac développement logiciel inriac spécification langage inriac spécification protocole inriac test inriac vérification inriac Computer software Development LOTOS (Computer program language) LOTOS Programmiersprache (DE-588)4208203-1 gnd rswk-swf LOTOS Programmiersprache (DE-588)4208203-1 s DE-604 Bolognesi, Tommaso Sonstige oth |
| spellingShingle | LOTOSphere software development with LOTOS COLOS inriac G-LOTOS inriac GLOW inriac LOTOS gtt LOTOS inriac Langages formels ram Logiciels - Développement ram Lotosphere inriac OSI inriac SMILE inriac développement logiciel inriac spécification langage inriac spécification protocole inriac test inriac vérification inriac Computer software Development LOTOS (Computer program language) LOTOS Programmiersprache (DE-588)4208203-1 gnd |
| subject_GND | (DE-588)4208203-1 |
| title | LOTOSphere software development with LOTOS |
| title_auth | LOTOSphere software development with LOTOS |
| title_exact_search | LOTOSphere software development with LOTOS |
| title_full | LOTOSphere software development with LOTOS ed. by Tommaso Bolognesi ... |
| title_fullStr | LOTOSphere software development with LOTOS ed. by Tommaso Bolognesi ... |
| title_full_unstemmed | LOTOSphere software development with LOTOS ed. by Tommaso Bolognesi ... |
| title_short | LOTOSphere |
| title_sort | lotosphere software development with lotos |
| title_sub | software development with LOTOS |
| topic | COLOS inriac G-LOTOS inriac GLOW inriac LOTOS gtt LOTOS inriac Langages formels ram Logiciels - Développement ram Lotosphere inriac OSI inriac SMILE inriac développement logiciel inriac spécification langage inriac spécification protocole inriac test inriac vérification inriac Computer software Development LOTOS (Computer program language) LOTOS Programmiersprache (DE-588)4208203-1 gnd |
| topic_facet | COLOS G-LOTOS GLOW LOTOS Langages formels Logiciels - Développement Lotosphere OSI SMILE développement logiciel spécification langage spécification protocole test vérification Computer software Development LOTOS (Computer program language) LOTOS Programmiersprache |
| work_keys_str_mv | AT bolognesitommaso lotospheresoftwaredevelopmentwithlotos |