Theoretical aspects of computing - ICTAC 2013: 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8049 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XII, 444 S.) graph. Darst. |
| ISBN: | 9783642397172 9783642397189 |
| DOI: | 10.1007/978-3-642-39718-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041421111 | ||
| 003 | DE-604 | ||
| 005 | 20191206 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131118s2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642397172 |c Print |9 978-3-642-39717-2 | ||
| 020 | |a 9783642397189 |c Online |9 978-3-642-39718-9 | ||
| 024 | 7 | |a 10.1007/978-3-642-39718-9 |2 doi | |
| 035 | |a (OCoLC)857390963 | ||
| 035 | |a (DE-599)BVBBV041421111 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Theoretical aspects of computing - ICTAC 2013 |b 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings |c Zhiming Liu ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XII, 444 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8049 | |
| 500 | |a Literaturangaben | ||
| 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 |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Schanghai |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 Liu, Zhiming |d 1961- |0 (DE-588)129858900 |4 edt | |
| 711 | 2 | |a ICTAC |n 10 |d 2013 |c Schanghai |j Sonstige |0 (DE-588)1041240783 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8049 |w (DE-604)BV014880109 |9 8049 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-39718-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=026868188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 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=026868188&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026868188 | ||
Datensatz im Suchindex
| _version_ | 1804151538157879296 |
|---|---|
| adam_text | THEORETICAL ASPECTS OF COMPUTING – ICTAC 2013
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
STOCHASTIC PI-CALCULUS REVISITED
A CLOCK-BASED FRAMEWORK FOR CONSTRUCTION OF HYBRID SYSTEMS
ADVANCES IN QUANTITATIVE VERIFICATION FOR UBIQUITOUS COMPUTING
MOBILE MEMBRANES: COMPUTABILITY AND COMPLEXITY
CRUISE CONTROL IN HYBRID EVENT-B
FROM DISTRIBUTIONS TO PROBABILISTIC REACTIVE PROGRAMS
HOL-TESTGEN/FW: AN ENVIRONMENT FOR SPECIFICATION-BASED FIREWALL
CONFORMANCE TESTING
RANDOM WALKS ON SOME BASIC CLASSES OF DIGRAPHS
A PROBABILISTIC LOGIC FOR PTIMO
AN INTERFACE MODEL OF SOFTWARE COMPONENTS
A HIGH-LEVEL SEMANTICS FOR PROGRAM EXECUTION UNDER TOTAL STORE ORDER
MEMORY
PREEMPTIVE TYPE CHECKING IN DYNAMICALLY TYPED LANGUAGES
ON REFINEMENTS OF BOOLEAN AND PARAMETRIC MODAL TRANSITION SYSTEMS
PROOF THEORY OF A MULTI-LANE SPATIAL LOGIC
COUNTEREXAMPLE-PRESERVING REDUCTION FOR SYMBOLIC MODEL CHECKING
A TRANSFORMATION FROM P-PI TO MSVL
ON SLICING OF PROGRAMS WITH INPUT STATEMENTS
DETERMINISTIC LOGICS FOR UL
FINITARY FAIRNESS IN ACTION SYSTEMS
SPATIO-TEMPORAL HYBRID AUTOMATA FOR CYBER-PHYSICAL SYSTEMS
EMBEDDING FUNCTIONS INTO DISJUNCTIVE LOGIC PROGRAMS
REACTIVE DESIGNS OF INTERRUPTS IN CIRCUS TIME
A PROOF SYSTEM IN PADS
SCOPE LOGIC: AN EXTENSION TO HOARE LOGIC FOR POINTERS AND RECURSIVE DATA
STRUCTURES
DURATIVE GRAPH TRANSFORMATION RULES FOR MODELLING REAL-TIME
RECONFIGURATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
THEORETICAL ASPECTS OF COMPUTING – ICTAC 2013
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 10TH INTERNATIONAL
COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING, ICTAC 2013 HELD IN
MACAU, CHINA, IN SEPTEMBER 2013. THE 22 REVISED FULL PAPERS PRESENTED
TOGETHER WITH THREE KEYNOTE TALKS WERE CAREFULLY REVIEWED AND SELECTED
FROM 64 SUBMISSIONS. THE PAPERS COVER VARIOUS TOPICS RELATED TO BOTH
THEORETICAL ASPECTS OF COMPUTING AND THE EXPLOITATION OF THEORY THROUGH
METHODS AND TOOLS FOR SYSTEM DEVELOPMENT
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Liu, Zhiming 1961- |
| author2_role | edt |
| author2_variant | z l zl |
| author_GND | (DE-588)129858900 |
| author_facet | Liu, Zhiming 1961- |
| building | Verbundindex |
| bvnumber | BV041421111 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 500f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)857390963 (DE-599)BVBBV041421111 |
| 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-642-39718-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02856nmm a2200589 cb4500</leader><controlfield tag="001">BV041421111</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191206 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131118s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642397172</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-39717-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642397189</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-39718-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39718-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)857390963</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041421111</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="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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="245" ind1="1" ind2="0"><subfield code="a">Theoretical aspects of computing - ICTAC 2013</subfield><subfield code="b">10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings</subfield><subfield code="c">Zhiming Liu ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 444 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">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">8049</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Schanghai</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">Liu, Zhiming</subfield><subfield code="d">1961-</subfield><subfield code="0">(DE-588)129858900</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTAC</subfield><subfield code="n">10</subfield><subfield code="d">2013</subfield><subfield code="c">Schanghai</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041240783</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8049</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8049</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39718-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=026868188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=026868188&sequence=000003&line_number=0002&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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026868188</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Schanghai gnd-content |
| genre_facet | Konferenzschrift 2013 Schanghai |
| id | DE-604.BV041421111 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:56:24Z |
| institution | BVB |
| institution_GND | (DE-588)1041240783 |
| isbn | 9783642397172 9783642397189 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026868188 |
| oclc_num | 857390963 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 444 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings Zhiming Liu ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XII, 444 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8049 Literaturangaben 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 Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Schanghai 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 Liu, Zhiming 1961- (DE-588)129858900 edt ICTAC 10 2013 Schanghai Sonstige (DE-588)1041240783 oth Lecture notes in computer science 8049 (DE-604)BV014880109 8049 https://doi.org/10.1007/978-3-642-39718-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868188&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings Lecture notes in computer science 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 Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4196735-5 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4333722-3 (DE-588)1071861417 |
| title | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings |
| title_auth | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings |
| title_exact_search | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings |
| title_full | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings Zhiming Liu ... (eds.) |
| title_fullStr | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings Zhiming Liu ... (eds.) |
| title_full_unstemmed | Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings Zhiming Liu ... (eds.) |
| title_short | Theoretical aspects of computing - ICTAC 2013 |
| title_sort | theoretical aspects of computing ictac 2013 10th international colloquium shanghai china september 4 6 2013 proceedings |
| title_sub | 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings |
| topic | 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 Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Softwareentwicklung Theoretische Informatik Softwaretest Programmverifikation Formale Methode Konferenzschrift 2013 Schanghai |
| url | https://doi.org/10.1007/978-3-642-39718-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868188&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026868188&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT liuzhiming theoreticalaspectsofcomputingictac201310thinternationalcolloquiumshanghaichinaseptember462013proceedings AT ictacschanghai theoreticalaspectsofcomputingictac201310thinternationalcolloquiumshanghaichinaseptember462013proceedings |