SPECS: specification and programming environment for communication software
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland
1993
|
| Schlagworte: | |
| Beschreibung: | XV, 364 S. graph. Darst. |
| ISBN: | 0444899235 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010279414 | ||
| 003 | DE-604 | ||
| 005 | 20210630 | ||
| 007 | t| | ||
| 008 | 950706s1993 xx d||| |||| 00||| eng d | ||
| 020 | |a 0444899235 |9 0-444-89923-5 | ||
| 035 | |a (OCoLC)636799392 | ||
| 035 | |a (DE-599)BVBBV010279414 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-384 |a DE-706 | ||
| 050 | 0 | |a TK5105.9 | |
| 082 | 0 | |a 005.7/11 |2 20 | |
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 245 | 1 | 0 | |a SPECS |b specification and programming environment for communication software |c The SPECS Consortium ; ed. by Rick Reed ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1993 | |
| 300 | |a XV, 364 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 7 | |a Logiciels - Contrats et spécifications |2 ram | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a RACE |2 inriac | |
| 650 | 7 | |a Specificatie |2 gtt | |
| 650 | 7 | |a Systèmes de télécommunications |2 ram | |
| 650 | 7 | |a Telematica |2 gtt | |
| 650 | 7 | |a environnement programmation |2 inriac | |
| 650 | 7 | |a génie logiciel |2 inriac | |
| 650 | 7 | |a logiciel communication |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a spécification |2 inriac | |
| 650 | 7 | |a télécommunication |2 inriac | |
| 650 | 4 | |a Communications software |v Specifications | |
| 650 | 0 | 7 | |a Kommunikationssystem |0 (DE-588)4125542-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Telekommunikation |0 (DE-588)4059360-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierumgebung |0 (DE-588)4134837-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Telekommunikation |0 (DE-588)4059360-5 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierumgebung |0 (DE-588)4134837-0 |D s |
| 689 | 1 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 1 | 2 | |a Kommunikationssystem |0 (DE-588)4125542-2 |D s |
| 689 | 1 | 3 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Reed, Rick |d 1948- |0 (DE-588)122948025 |4 edt | |
| 710 | 2 | |a Europäische Kommission |b SPECS Consortium |e Sonstige |0 (DE-588)5220623-3 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006839652 | |
Datensatz im Suchindex
| _version_ | 1821795553835483136 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Reed, Rick 1948- |
| author2_role | edt |
| author2_variant | r r rr |
| author_GND | (DE-588)122948025 |
| author_facet | Reed, Rick 1948- |
| building | Verbundindex |
| bvnumber | BV010279414 |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.9 |
| callnumber-search | TK5105.9 |
| callnumber-sort | TK 45105.9 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 200 |
| ctrlnum | (OCoLC)636799392 (DE-599)BVBBV010279414 |
| 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>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010279414</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210630</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950706s1993 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444899235</subfield><subfield code="9">0-444-89923-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)636799392</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010279414</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-384</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.9</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 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">SPECS</subfield><subfield code="b">specification and programming environment for communication software</subfield><subfield code="c">The SPECS Consortium ; ed. by Rick Reed ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 364 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">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Contrats et spécifications</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">RACE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Specificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes de télécommunications</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Telematica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">environnement programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logiciel communication</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">télécommunication</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communications software</subfield><subfield code="v">Specifications</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikation</subfield><subfield code="0">(DE-588)4059360-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierumgebung</subfield><subfield code="0">(DE-588)4134837-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Telekommunikation</subfield><subfield code="0">(DE-588)4059360-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">Programmierumgebung</subfield><subfield code="0">(DE-588)4134837-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Kommunikationssystem</subfield><subfield code="0">(DE-588)4125542-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reed, Rick</subfield><subfield code="d">1948-</subfield><subfield code="0">(DE-588)122948025</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Europäische Kommission</subfield><subfield code="b">SPECS Consortium</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5220623-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006839652</subfield></datafield></record></collection> |
| id | DE-604.BV010279414 |
| illustrated | Illustrated |
| indexdate | 2025-01-20T19:00:28Z |
| institution | BVB |
| institution_GND | (DE-588)5220623-3 |
| isbn | 0444899235 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006839652 |
| oclc_num | 636799392 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-706 |
| owner_facet | DE-739 DE-384 DE-706 |
| physical | XV, 364 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | North-Holland |
| record_format | marc |
| spelling | SPECS specification and programming environment for communication software The SPECS Consortium ; ed. by Rick Reed ... Amsterdam [u.a.] North-Holland 1993 XV, 364 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Langages formels ram Logiciels - Contrats et spécifications ram Programmatuurtechniek gtt RACE inriac Specificatie gtt Systèmes de télécommunications ram Telematica gtt environnement programmation inriac génie logiciel inriac logiciel communication inriac méthode formelle inriac spécification inriac télécommunication inriac Communications software Specifications Kommunikationssystem (DE-588)4125542-2 gnd rswk-swf Telekommunikation (DE-588)4059360-5 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Programmierumgebung (DE-588)4134837-0 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf Telekommunikation (DE-588)4059360-5 s Softwarespezifikation (DE-588)4056186-0 s DE-604 Programmierumgebung (DE-588)4134837-0 s Spezifikation (DE-588)4139161-5 s Kommunikationssystem (DE-588)4125542-2 s Software (DE-588)4055382-6 s Reed, Rick 1948- (DE-588)122948025 edt Europäische Kommission SPECS Consortium Sonstige (DE-588)5220623-3 oth |
| spellingShingle | SPECS specification and programming environment for communication software Langages formels ram Logiciels - Contrats et spécifications ram Programmatuurtechniek gtt RACE inriac Specificatie gtt Systèmes de télécommunications ram Telematica gtt environnement programmation inriac génie logiciel inriac logiciel communication inriac méthode formelle inriac spécification inriac télécommunication inriac Communications software Specifications Kommunikationssystem (DE-588)4125542-2 gnd Telekommunikation (DE-588)4059360-5 gnd Softwarespezifikation (DE-588)4056186-0 gnd Software (DE-588)4055382-6 gnd Programmierumgebung (DE-588)4134837-0 gnd Spezifikation (DE-588)4139161-5 gnd |
| subject_GND | (DE-588)4125542-2 (DE-588)4059360-5 (DE-588)4056186-0 (DE-588)4055382-6 (DE-588)4134837-0 (DE-588)4139161-5 |
| title | SPECS specification and programming environment for communication software |
| title_auth | SPECS specification and programming environment for communication software |
| title_exact_search | SPECS specification and programming environment for communication software |
| title_full | SPECS specification and programming environment for communication software The SPECS Consortium ; ed. by Rick Reed ... |
| title_fullStr | SPECS specification and programming environment for communication software The SPECS Consortium ; ed. by Rick Reed ... |
| title_full_unstemmed | SPECS specification and programming environment for communication software The SPECS Consortium ; ed. by Rick Reed ... |
| title_short | SPECS |
| title_sort | specs specification and programming environment for communication software |
| title_sub | specification and programming environment for communication software |
| topic | Langages formels ram Logiciels - Contrats et spécifications ram Programmatuurtechniek gtt RACE inriac Specificatie gtt Systèmes de télécommunications ram Telematica gtt environnement programmation inriac génie logiciel inriac logiciel communication inriac méthode formelle inriac spécification inriac télécommunication inriac Communications software Specifications Kommunikationssystem (DE-588)4125542-2 gnd Telekommunikation (DE-588)4059360-5 gnd Softwarespezifikation (DE-588)4056186-0 gnd Software (DE-588)4055382-6 gnd Programmierumgebung (DE-588)4134837-0 gnd Spezifikation (DE-588)4139161-5 gnd |
| topic_facet | Langages formels Logiciels - Contrats et spécifications Programmatuurtechniek RACE Specificatie Systèmes de télécommunications Telematica environnement programmation génie logiciel logiciel communication méthode formelle spécification télécommunication Communications software Specifications Kommunikationssystem Telekommunikation Softwarespezifikation Software Programmierumgebung Spezifikation |
| work_keys_str_mv | AT reedrick specsspecificationandprogrammingenvironmentforcommunicationsoftware AT europaischekommissionspecsconsortium specsspecificationandprogrammingenvironmentforcommunicationsoftware |