Theoretical aspects of computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
[2015]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9399 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | 1 Online-Ressource (XXIV, 620 Seiten) Illustrationen |
| ISBN: | 9783319251509 9783319251493 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-25150-9 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209518 | ||
| 003 | DE-604 | ||
| 005 | 20191206 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783319251509 |c Online |9 978-3-319-25150-9 | ||
| 020 | |a 9783319251493 |c Print |9 978-3-319-25149-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-25150-9 |2 doi | |
| 035 | |a (OCoLC)932569214 | ||
| 035 | |a (DE-599)BVBBV043209518 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 111 | 2 | |a ICTAC |n 12. |d 2015 |c Cali |j Verfasser |0 (DE-588)1081198699 |4 aut | |
| 245 | 1 | 0 | |a Theoretical aspects of computing – ICTAC 2015 |b 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings |c edited by Martin Leucker, Camilo Rueda, Frank D. Valencia |
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online-Ressource (XXIV, 620 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9399 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Cali |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Leucker, Martin |d 1971- |0 (DE-588)123956706 |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9399 |w (DE-604)BV014880109 |9 9399 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-25150-9 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632678&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028632678 | |
Datensatz im Suchindex
| _version_ | 1820875667149946880 |
|---|---|
| adam_text |
THEORETICAL ASPECTS OF COMPUTING – ICTAC 2015
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 12TH INTERNATIONAL
COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING, ICTAC 2015 HELD IN CALI,
COLOMBIA, IN OCTOBER 2015. THE 25 REVISED FULL PAPERS PRESENTED TOGETHER
WITH 7 INVITED TALKS, 3 TOOL PAPERS, AND S SHORT PAPERS WERE CAREFULLY
REVIEWED AND SELECTED FROM 93 SUBMISSIONS. THE PAPERS COVER VARIOUS
TOPICS SUCH AS ALGEBRA AND CATEGORY THEORY; AUTOMATA AND FORMAL
LANGUAGES; CONCURRENCY; CONSTRAINTS, LOGIC AND SEMANTIC; SOFTWARE
ARCHITECTURE AND COMPONENT-BASED DESIGN; AND VERIFICATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Leucker, Martin 1971- |
| author2_role | edt |
| author2_variant | m l ml |
| author_GND | (DE-588)123956706 |
| author_corporate | ICTAC Cali |
| author_corporate_role | aut |
| author_facet | Leucker, Martin 1971- ICTAC Cali |
| author_sort | ICTAC Cali |
| building | Verbundindex |
| bvnumber | BV043209518 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 500f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)932569214 (DE-599)BVBBV043209518 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-25150-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV043209518</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191206</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319251509</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-25150-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319251493</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-25149-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-25150-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932569214</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209518</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ICTAC</subfield><subfield code="n">12.</subfield><subfield code="d">2015</subfield><subfield code="c">Cali</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1081198699</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretical aspects of computing – ICTAC 2015</subfield><subfield code="b">12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings</subfield><subfield code="c">edited by Martin Leucker, Camilo Rueda, Frank D. Valencia</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXIV, 620 Seiten)</subfield><subfield code="b">Illustrationen</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9399</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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="y">2015</subfield><subfield code="z">Cali</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Leucker, Martin</subfield><subfield code="d">1971-</subfield><subfield code="0">(DE-588)123956706</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9399</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9399</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-25150-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632678&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632678</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Cali gnd-content |
| genre_facet | Konferenzschrift 2015 Cali |
| id | DE-604.BV043209518 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:15Z |
| institution | BVB |
| institution_GND | (DE-588)1081198699 |
| isbn | 9783319251509 9783319251493 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632678 |
| oclc_num | 932569214 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XXIV, 620 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | ICTAC 12. 2015 Cali Verfasser (DE-588)1081198699 aut Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings edited by Martin Leucker, Camilo Rueda, Frank D. Valencia Cham Springer International Publishing [2015] © 2015 1 Online-Ressource (XXIV, 620 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9399 0302-9743 Computer science Computer logic Computer Science Logics and Meanings of Programs Informatik Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Cali gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Programmverifikation (DE-588)4135576-3 s Softwaretest (DE-588)4132652-0 s Formale Methode (DE-588)4333722-3 s Leucker, Martin 1971- (DE-588)123956706 edt Lecture Notes in Computer Science 9399 (DE-604)BV014880109 9399 https://doi.org/10.1007/978-3-319-25150-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632678&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings Lecture Notes in Computer Science Computer science Computer logic Computer Science Logics and Meanings of Programs Informatik Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4196735-5 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)1071861417 |
| title | Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings |
| title_auth | Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings |
| title_exact_search | Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings |
| title_full | Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings edited by Martin Leucker, Camilo Rueda, Frank D. Valencia |
| title_fullStr | Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings edited by Martin Leucker, Camilo Rueda, Frank D. Valencia |
| title_full_unstemmed | Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings edited by Martin Leucker, Camilo Rueda, Frank D. Valencia |
| title_short | Theoretical aspects of computing – ICTAC 2015 |
| title_sort | theoretical aspects of computing ictac 2015 12th international colloquium cali colombia october 29 31 2015 proceedings |
| title_sub | 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings |
| topic | Computer science Computer logic Computer Science Logics and Meanings of Programs Informatik Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Computer science Computer logic Computer Science Logics and Meanings of Programs Informatik Formale Methode Softwareentwicklung Theoretische Informatik Softwaretest Programmverifikation Konferenzschrift 2015 Cali |
| url | https://doi.org/10.1007/978-3-319-25150-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632678&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT ictaccali theoreticalaspectsofcomputingictac201512thinternationalcolloquiumcalicolombiaoctober29312015proceedings AT leuckermartin theoreticalaspectsofcomputingictac201512thinternationalcolloquiumcalicolombiaoctober29312015proceedings |