Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2009
Schriftenreihe:Lecture notes in computer science 5684
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV035680846
003 DE-604
005 20090827
007 t
008 090817s2009 d||| |||| 10||| eng d
015 |a 09,N30,0037  |2 dnb 
016 7 |a 99519601X  |2 DE-101 
020 |a 9783642034657  |c kart. : EUR 56.66 (freier Pr.), sfr 82.50 (freier Pr.)  |9 978-3-642-03465-7 
024 3 |a 9783642034657 
028 5 2 |a 12727575 
035 |a (OCoLC)633288639 
035 |a (DE-599)DNB99519601X 
040 |a DE-604  |b ger  |e rakddb 
041 0 |a eng 
049 |a DE-706  |a DE-91G  |a DE-83  |a DE-11 
082 0 |a 004.0151  |2 22//ger 
082 0 |a 004.24  |2 22/ger 
082 0 |a 005.101  |2 22//ger 
082 0 |a 004.0151  |2 22/ger 
082 0 |a 005.101  |2 22/ger 
082 0 |a 004.24  |2 22//ger 
084 |a SS 4800  |0 (DE-625)143528:  |2 rvk 
084 |a DAT 500f  |2 stub 
084 |a 004  |2 sdnb 
245 1 0 |a Theoretical aspects of computing  |b 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings  |c Martin Leucker ... (eds.) 
264 1 |a Berlin [u.a.]  |b Springer  |c 2009 
300 |a XII, 355 S.  |b graph. Darst.  |c 24 cm 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science  |v 5684 
500 |a Literaturangaben 
650 0 7 |a Systementwicklung  |0 (DE-588)4126945-7  |2 gnd  |9 rswk-swf 
650 0 7 |a Model Checking  |0 (DE-588)4434799-6  |2 gnd  |9 rswk-swf 
650 0 7 |a Formale Methode  |0 (DE-588)4333722-3  |2 gnd  |9 rswk-swf 
650 0 7 |a Entwurfsmuster  |0 (DE-588)4546895-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 Nebenläufigkeit  |0 (DE-588)4115352-2  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)1071861417  |a Konferenzschrift  |y 2009  |z Kuala Lumpur  |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 Model Checking  |0 (DE-588)4434799-6  |D s 
689 1 |5 DE-604 
689 2 0 |a Systementwicklung  |0 (DE-588)4126945-7  |D s 
689 2 1 |a Formale Methode  |0 (DE-588)4333722-3  |D s 
689 2 |5 DE-604 
689 3 0 |a Softwareentwicklung  |0 (DE-588)4116522-6  |D s 
689 3 1 |a Entwurfsmuster  |0 (DE-588)4546895-3  |D s 
689 3 2 |a Formale Methode  |0 (DE-588)4333722-3  |D s 
689 3 |5 DE-604 
689 4 0 |a Nebenläufigkeit  |0 (DE-588)4115352-2  |D s 
689 4 |5 DE-604 
700 1 |a Leucker, Martin  |d 1971-  |e Sonstige  |0 (DE-588)123956706  |4 oth 
711 2 |a ICTAC  |n 6  |d 2009  |c Kuala Lumpur  |j Sonstige  |0 (DE-588)16017644-X  |4 oth 
830 0 |a Lecture notes in computer science  |v 5684  |w (DE-604)BV000000607  |9 5684 
856 4 2 |m DNB Datenaustausch  |q application/pdf  |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017735116&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA  |3 Inhaltsverzeichnis 
999 |a oai:aleph.bib-bvb.de:BVB01-017735116 

Datensatz im Suchindex

DE-BY-TUM_call_number 0102/DAT 001z 2001 A 999-5684
DE-BY-TUM_katkey 1704074
DE-BY-TUM_media_number 040010156062
_version_ 1816712993762705408
adam_text TABLE OF CONTENTS INVITED PAPERS STATIC ANALYSIS OF CONCURRENT PROGRAMS USING ORDINARY DIFFERENTIAL EQUATIONS 1 ZUOHUA DING THE PLUSCAL ALGORITHM LANGUAGE 36 LESLIE LAMPORT THE SECRET ART OF COMPUTER PROGRAMMING 61 ANNABELLE K. MCLVER VERIFICATION. TESTING AND STATISTICS 79 SRIRAM K. RAJAMANI FULL RESEARCH PAPERS V- TYPES FOR EFFECTS AND FRESHNESS ANALYSIS 80 MASSIMO BARTOLETTI, PIERPAOLO DEGANO, GIAN LUIGI FERRARI, AND ROBERTO ZUNINO A FIRST-ORDER POLICY LANGUAGE FOR HISTORY-BASED TRANSACTION MONITORING 96 ANDREAS BAUER, RAJEEV GORE, AND ALWEN TIU CHECKING THOROUGH REFINEMENT ON MODAL TRANSITION SYSTEMS IS EXPTIME-COMPLETE 112 NIKOLA BENES, JAN KFETINSKY, KIM G. LARSEN, AND JIN SRBA TRANSMISSION PROTOCOLS FOR INSTRUCTION STREAMS 127 J.A. BERGSTRA AND C.A. MIDDELBURG A DEADLOCK-FREE SEMANTICS FOR SHARED MEMORY CONCURRENCY 140 GERARD BOUDOL ON THE EXPRESSIVENESS OF FORWARDING IN HIGHER-ORDER COMMUNICATION 155 CINZIA DI GIUSTO, JORGE A. PEREZ, AND GIANLUIGI ZAVATTARO ON THE HAIRPIN COMPLETION OF REGULAR LANGUAGES 170 VOLKER DIEKERT, STEFFEN KOPECKI, AND VICTOR MITRANA CONTEXT-FREE LANGUAGES OF COUNTABLE WORDS 185 ZOLTAN BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/99519601X DIGITALISIERT DURCH XII TABLE OF CONTENTS AUTOMATIC CONFLICT DETECTION ON CONTRACTS 200 STEPHEN FENECH. GORDON J. PACE, AND GERARDO SCHNEIDER A SOUND OBSERVATIONAL SEMANTICS FOR MODAL TRANSITION SYSTEMS 215 DARIO FISCHBEIN, VICTOR BRABERMAN, AND SEBASTIAN UCHITEL REGULAR EXPRESSIONS WITH NUMERICAL CONSTRAINTS AND AUTOMATA WITH COUNTERS 231 DAG HOVLAND ON THE RELATIVE EXPRESSIVE POWER OF CONTEXTUAL GRAMMARS WITH MAXIMAL AND DEPTH-FIRST DERIVATIONS 246 LAKSHMANAN KUPPUSAMY AND KAMALA KRITHIVASAN INTEGRATION TESTING FROM STRUCTURED FIRST-ORDER SPECIFICATIONS VIA DEDUCTION MODULO 261 DELPHINE LONGUET AND MARC AIGUIER A MINIMIZED ASSUMPTION GENERATION METHOD FOR COMPONENT-BASED SOFTWARE VERIFICATION 277 PHAM NGOC HUNG, TOSHIAKI AOKI, AND TAKUYA KATAYAMA A FORMAL APPROACH TO HEURISTICALLY TEST RESTORABLE SYSTEMS 292 PABLO RABANAL, ISMAEL RODRIGUEZ, AND FERNANDO RUBIO CONSTRAINED REACHABILITY OF PROCESS REWRITE SYSTEMS 307 TAYSSIR TOUILI INPUT-OUTPUT MODEL PROGRAMS 322 MARGUS VEANES AND NIKOLAJ BJ0RNER TOOL PAPERS IMITATOR: A TOOL FOR SYNTHESIZING CONSTRAINTS ON TIMING BOUNDS OF TIMED AUTOMATA 336 ETIENNE ANDRE GSPEEDI - A VERIFICATION TOOL FOR GENERALIZED POLYGONAL HYBRID SYSTEMS 343 HALLSTEIN
any_adam_object 1
author_GND (DE-588)123956706
building Verbundindex
bvnumber BV035680846
classification_rvk SS 4800
classification_tum DAT 500f
ctrlnum (OCoLC)633288639
(DE-599)DNB99519601X
dewey-full 004.0151
004.24
005.101
dewey-hundreds 000 - Computer science, information, general works
dewey-ones 004 - Computer science
005 - Computer programming, programs, data, security
dewey-raw 004.0151
004.24
005.101
dewey-search 004.0151
004.24
005.101
dewey-sort 14.0151
dewey-tens 000 - Computer science, information, general works
discipline Informatik
format Conference Proceeding
Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02970nam a2200721 cb4500</leader><controlfield tag="001">BV035680846</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090827 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090817s2009 d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N30,0037</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">99519601X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642034657</subfield><subfield code="c">kart. : EUR 56.66 (freier Pr.), sfr 82.50 (freier Pr.)</subfield><subfield code="9">978-3-642-03465-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642034657</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12727575</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633288639</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB99519601X</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22//ger</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 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretical aspects of computing</subfield><subfield code="b">6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings</subfield><subfield code="c">Martin Leucker ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 355 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5684</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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="650" ind1="0" ind2="7"><subfield code="a">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-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">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">2009</subfield><subfield code="z">Kuala Lumpur</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2="1"><subfield code="a">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" 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="e">Sonstige</subfield><subfield code="0">(DE-588)123956706</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTAC</subfield><subfield code="n">6</subfield><subfield code="d">2009</subfield><subfield code="c">Kuala Lumpur</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16017644-X</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">5684</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5684</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=017735116&amp;sequence=000001&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017735116</subfield></datafield></record></collection>
genre (DE-588)1071861417 Konferenzschrift 2009 Kuala Lumpur gnd-content
genre_facet Konferenzschrift 2009 Kuala Lumpur
id DE-604.BV035680846
illustrated Illustrated
indexdate 2024-11-25T17:26:05Z
institution BVB
institution_GND (DE-588)16017644-X
isbn 9783642034657
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-017735116
oclc_num 633288639
open_access_boolean
owner DE-706
DE-91G
DE-BY-TUM
DE-83
DE-11
owner_facet DE-706
DE-91G
DE-BY-TUM
DE-83
DE-11
physical XII, 355 S. graph. Darst. 24 cm
publishDate 2009
publishDateSearch 2009
publishDateSort 2009
publisher Springer
record_format marc
series Lecture notes in computer science
series2 Lecture notes in computer science
spellingShingle Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings
Lecture notes in computer science
Systementwicklung (DE-588)4126945-7 gnd
Model Checking (DE-588)4434799-6 gnd
Formale Methode (DE-588)4333722-3 gnd
Entwurfsmuster (DE-588)4546895-3 gnd
Softwareentwicklung (DE-588)4116522-6 gnd
Theoretische Informatik (DE-588)4196735-5 gnd
Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND (DE-588)4126945-7
(DE-588)4434799-6
(DE-588)4333722-3
(DE-588)4546895-3
(DE-588)4116522-6
(DE-588)4196735-5
(DE-588)4115352-2
(DE-588)1071861417
title Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings
title_auth Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings
title_exact_search Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings
title_full Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings Martin Leucker ... (eds.)
title_fullStr Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings Martin Leucker ... (eds.)
title_full_unstemmed Theoretical aspects of computing 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings Martin Leucker ... (eds.)
title_short Theoretical aspects of computing
title_sort theoretical aspects of computing 6th international colloquium ictac 2009 kuala lumpur malaysia august 16 20 2009 proceedings
title_sub 6th international colloquium, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 ; proceedings
topic Systementwicklung (DE-588)4126945-7 gnd
Model Checking (DE-588)4434799-6 gnd
Formale Methode (DE-588)4333722-3 gnd
Entwurfsmuster (DE-588)4546895-3 gnd
Softwareentwicklung (DE-588)4116522-6 gnd
Theoretische Informatik (DE-588)4196735-5 gnd
Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet Systementwicklung
Model Checking
Formale Methode
Entwurfsmuster
Softwareentwicklung
Theoretische Informatik
Nebenläufigkeit
Konferenzschrift 2009 Kuala Lumpur
url http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017735116&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link (DE-604)BV000000607
work_keys_str_mv AT leuckermartin theoreticalaspectsofcomputing6thinternationalcolloquiumictac2009kualalumpurmalaysiaaugust16202009proceedings
AT ictackualalumpur theoreticalaspectsofcomputing6thinternationalcolloquiumictac2009kualalumpurmalaysiaaugust16202009proceedings