... International Workshop on Software Specification and Design
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Washington, DC
IEEE Computer Soc.
|
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
LEADER | 00000nam a2200000zca4500 | ||
---|---|---|---|
001 | BV021855543 | ||
003 | DE-604 | ||
005 | 20150904 | ||
007 | t | ||
008 | 860506nuuuuuuuu |||| 10||| eng d | ||
035 | |a (OCoLC)21038156 | ||
035 | |a (DE-599)BVBBV021855543 | ||
040 | |a DE-604 |b ger | ||
041 | 0 | |a eng | |
050 | 0 | |a QA76.751 | |
082 | 0 | |a 005.3 |2 20 | |
111 | 2 | |a International Workshop on Software Specification and Design |j Verfasser |0 (DE-588)309904-0 |4 aut | |
245 | 1 | 0 | |a ... International Workshop on Software Specification and Design |
264 | 1 | |a Washington, DC |b IEEE Computer Soc. | |
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Später u.d.T.: International Workshop on Software Specification and Design: Proceedings of the ... International Workshop on Software Specification and Design | ||
650 | 7 | |a abstraction |2 inriac | |
650 | 7 | |a conception logiciel |2 inriac | |
650 | 7 | |a concurrence |2 inriac | |
650 | 7 | |a coordination |2 inriac | |
650 | 7 | |a formalisation programme |2 inriac | |
650 | 7 | |a génie logiciel |2 inriac | |
650 | 7 | |a spécification logiciel |2 inriac | |
650 | 7 | |a système temps réel |2 inriac | |
650 | 4 | |a Computer software |v Congresses | |
650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
689 | 1 | |5 DE-604 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-015071318 |
Datensatz im Suchindex
_version_ | 1804135795413483520 |
---|---|
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author_corporate | International Workshop on Software Specification and Design |
author_corporate_role | aut |
author_facet | International Workshop on Software Specification and Design |
author_sort | International Workshop on Software Specification and Design |
building | Verbundindex |
bvnumber | BV021855543 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.751 |
callnumber-search | QA76.751 |
callnumber-sort | QA 276.751 |
callnumber-subject | QA - Mathematics |
ctrlnum | (OCoLC)21038156 (DE-599)BVBBV021855543 |
dewey-full | 005.3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.3 |
dewey-search | 005.3 |
dewey-sort | 15.3 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
discipline_str_mv | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01610nam a2200445zca4500</leader><controlfield tag="001">BV021855543</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150904 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">860506nuuuuuuuu |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21038156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021855543</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">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.751</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Workshop on Software Specification and Design</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)309904-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">... International Workshop on Software Specification and Design</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Washington, DC</subfield><subfield code="b">IEEE Computer Soc.</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="500" ind1=" " ind2=" "><subfield code="a">Später u.d.T.: International Workshop on Software Specification and Design: Proceedings of the ... International Workshop on Software Specification and Design</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">abstraction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">coordination</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">formalisation programme</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">spécification logiciel</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="4"><subfield code="a">Computer software</subfield><subfield code="v">Congresses</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</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">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015071318</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
id | DE-604.BV021855543 |
illustrated | Not Illustrated |
index_date | 2024-07-02T16:02:50Z |
indexdate | 2024-07-09T20:46:11Z |
institution | BVB |
institution_GND | (DE-588)309904-0 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015071318 |
oclc_num | 21038156 |
open_access_boolean | |
publishDateSort | 0000 |
publisher | IEEE Computer Soc. |
record_format | marc |
spelling | International Workshop on Software Specification and Design Verfasser (DE-588)309904-0 aut ... International Workshop on Software Specification and Design Washington, DC IEEE Computer Soc. txt rdacontent n rdamedia nc rdacarrier Später u.d.T.: International Workshop on Software Specification and Design: Proceedings of the ... International Workshop on Software Specification and Design abstraction inriac conception logiciel inriac concurrence inriac coordination inriac formalisation programme inriac génie logiciel inriac spécification logiciel inriac système temps réel inriac Computer software Congresses Spezifikation (DE-588)4139161-5 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software (DE-588)4055382-6 s DE-604 Spezifikation (DE-588)4139161-5 s |
spellingShingle | ... International Workshop on Software Specification and Design abstraction inriac conception logiciel inriac concurrence inriac coordination inriac formalisation programme inriac génie logiciel inriac spécification logiciel inriac système temps réel inriac Computer software Congresses Spezifikation (DE-588)4139161-5 gnd Software (DE-588)4055382-6 gnd |
subject_GND | (DE-588)4139161-5 (DE-588)4055382-6 (DE-588)1071861417 |
title | ... International Workshop on Software Specification and Design |
title_auth | ... International Workshop on Software Specification and Design |
title_exact_search | ... International Workshop on Software Specification and Design |
title_exact_search_txtP | ... International Workshop on Software Specification and Design |
title_full | ... International Workshop on Software Specification and Design |
title_fullStr | ... International Workshop on Software Specification and Design |
title_full_unstemmed | ... International Workshop on Software Specification and Design |
title_short | ... International Workshop on Software Specification and Design |
title_sort | international workshop on software specification and design |
topic | abstraction inriac conception logiciel inriac concurrence inriac coordination inriac formalisation programme inriac génie logiciel inriac spécification logiciel inriac système temps réel inriac Computer software Congresses Spezifikation (DE-588)4139161-5 gnd Software (DE-588)4055382-6 gnd |
topic_facet | abstraction conception logiciel concurrence coordination formalisation programme génie logiciel spécification logiciel système temps réel Computer software Congresses Spezifikation Software Konferenzschrift |
work_keys_str_mv | AT internationalworkshoponsoftwarespecificationanddesign internationalworkshoponsoftwarespecificationanddesign |