Foundations of Software Science and Computational Structures: 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2012
|
| Series: | Lecture notes in computer science
7213 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XVII, 484 S. graph. Darst. |
| ISBN: | 364228728X 9783642287282 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039965783 | ||
| 003 | DE-604 | ||
| 005 | 20120516 | ||
| 007 | t| | ||
| 008 | 120319s2012 xx d||| |||| 10||| eng d | ||
| 015 | |a 12,N07 |2 dnb | ||
| 016 | 7 | |a 1019655453 |2 DE-101 | |
| 020 | |a 364228728X |9 3-642-28728-X | ||
| 020 | |a 9783642287282 |c Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.) |9 978-3-642-28728-2 | ||
| 024 | 3 | |a 9783642287282 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86074890 |
| 035 | |a (OCoLC)794832985 | ||
| 035 | |a (DE-599)DNB1019655453 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 005.01 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Foundations of Software Science and Computational Structures |b 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings |c Lars Birkedal (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XVII, 484 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7213 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarewissenschaft |0 (DE-588)4502639-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Reval |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 Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Softwarewissenschaft |0 (DE-588)4502639-7 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Birkedal, Lars |e Sonstige |4 oth | |
| 711 | 2 | |a FOSSACS |n 15 |d 2012 |c Tallinn |j Sonstige |0 (DE-588)16343690-3 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-28729-9 |
| 830 | 0 | |a Lecture notes in computer science |v 7213 |w (DE-604)BV000000607 |9 7213 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3976381&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=024823428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024823428 | |
Record in the Search Index
| _version_ | 1820875377856217088 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
QUERYING UML CLASS DIAGRAMS (INVITED PAPER) 1
ANDREA CALL, GEORG GOTTLOB. GIORGIO ORSI, AND ANDREAS PIERIS
BICATEGORIES OF CONCURRENT GAMES (INVITED PAPER) 26
GLYNN WINSKEL
FIBRATIONAL INDUCTION MEETS EFFECTS 42
ROBERT ATKEY, NEIL GHANI, BART JACOBS, AND PATRICIA JOHANN
A COALGEBRAIC PERSPECTIVE ON MINIMIZATION AND DETERMINIZATION 58
J I N ADAMEK, FILIPPO BONCHI, MATHIAS HIILSBUSCH, BARBARA KONIG, STEFAN
MILIUS, AND ALEXANDRA SILVA
WHEN IS A CONTAINER A COMONAD? 74
DANEL AHMAN, JAMES CHAPMAN, AND TARMO UUSTALU
WELL-POINTED COALGEBRAS (EXTENDED ABSTRACT) 89
J I N ADAMEK, STEFAN MILIUS, LAWRENCE S. MOSS, AND LURDES SOUSA
COMBINING INTERACTIVE AND AUTOMATIC REASONING IN FIRST ORDER THEORIES OF
FUNCTIONAL PROGRAMS 104
A N A BOVE, PETER DYBJER, AND ANDRES SICARD-RAMIREZ
APPLICATIVE BISIMULATIONS FOR DELIMITED-CONTROL OPERATORS 119
DARIUSZ BIERNACKI AND SERGUEI LENGLET
EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING
PROPHETIC AUTOMATA 135
SEBASTIAN PREUGSCHAT AND THOMAS WILKE
IMPROVED RAMSEY-BASED BIICHI COMPLEMENTATION 150
STEFAN BREUERS,.CHRISTOF LODING, AND J ORG OLSCHEWSKI
EXTENDING TII-CLAUSES WITH P A T H DISEQUALITIES 165
HELMUT SEIDL AND ANDREAS REUFL
BROOKES IS RELAXED, ALMOST! 180
RADHA JAGADEESAN, GUSTAVO PETRI, AND JAMES RIELY
REVISITING TRACE AND TESTING EQUIVALENCES FOR NONDETERMINISTIC AND
PROBABILISTIC PROCESSES 195
MARCO BERNARDO, ROCCO DE NICOLA, AND MICHELE LORETI
HTTP://D-NB.INFO/1019655453
IMAGE 2
XVI TABLE OF CONTENTS
IS I T A "GOOD" ENCODING OF MIXED CHOICE? 210
KIRSTIN PETERS AND UWE NESTMANN
EVENT STRUCTURE SEMANTICS OF PARALLEL EXTRUSION IN THE PI-CALCULUS 225
SILVIA CRAFA, DANIELE VARACCA, AND NOBUKO YOSHIDA
NARCISSISTS ARE EASY, STEPMOTHERS ARE HARD 240
DANIEL GORIN AND LUTZ SCHRODER
ON NOMINAL REGULAR LANGUAGES WITH BINDERS 255
ALEXANDER KURZ, TOMOYUKI SUZUKI, AND EMILIO TUOSTO
ROBUSTNESS OF STRUCTURALLY EQUIVALENT CONCURRENT PARITY GAMES 270
KRISHNENDU CHATTERJEE
SUBGAME PERFECTION FOR EQUILIBRIA IN QUANTITATIVE REACHABILITY GAMES 286
THOMAS BRIHAYE, VERONIQUE BRUYERE, JULIE DE PRIL, AND HUGO GIMBERT
CONCURRENT GAMES WITH ORDERED OBJECTIVES 301
PATRICIA BOUYER, ROMAIN BRENGUIER, NICOLAS MARKEY, AND MICHAEL UMMELS
FULL ABSTRACTION FOR SET-BASED MODELS OF THE SYMMETRIC INTERACTION
COMBINATORS 316
DAMIANO MAZZA AND NEIL J. ROSS
ON DISTRIBUTABILITY OF PETRI NETS (EXTENDED ABSTRACT) 331
ROB VAN GLABBEEK, URSULA GOLTZ, AND JENS-WOLFHARD SCHICKE-UFFMANN
FUNCTIONS AS SESSION-TYPED PROCESSES 346
BERNARDO TONINHO, LUIS CAIRES, AND FRANK PFENNING
DERIVING BISIMULATION CONGRUENCES FOR CONDITIONAL REACTIVE SYSTEMS . . .
361 MATHIAS HIILSBUSCH AND BARBARA KONIG
FIRST-ORDER MODEL CHECKING ON NESTED PUSHDOWN TREES IS COMPLETE FOR
DOUBLY EXPONENTIAL ALTERNATING TIME 376
ALEXANDER KARTZOW
MODEL CHECKING LANGUAGES OF DATA WORDS 391
BENEDIKT BOLLIG, AISWARYA CYRIAC, PAUL GASTIN, AND K. NARAYAN K U M A R
BRANCHING-TIME MODEL CHECKING OF PARAMETRIC ONE-COUNTER AUTOMATA 406
STEFAN GOLLER, CHRISTOPH HAASE, JOEL OUAKNINE, AND JAMES WORRELL
IMAGE 3
TABLE OF CONTENTS XVII
SYNTHESIZING PROBABILISTIC COMPOSERS 421
SUMIT NAIN AND MOSHE Y. VARDI
ON THE COMPLEXITY OF COMPUTING PROBABILISTIC BISIMILARITY 437
DI CHEN, FRANCK VAN BREUGEL, AND JAMES WORRELL
PROBABILISTIC TRANSITION SYSTEM SPECIFICATION: CONGRUENCE AND FULL
ABSTRACTION OF BISIMULATION 452
PEDRO RUBEN D 'ARGENIO AND MATIAS DAVID LEE
ON THE COMPLEXITY OF THE EQUIVALENCE PROBLEM FOR PROBABILISTIC AUTOMATA
467
STEFAN KIEFER, ANDRZEJ S. MURAWSKI, JOEL OUAKNINE, B J D M WACHTER, AND
JAMES WORRELL
A U T H O R I N D E X 483 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039965783 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)794832985 (DE-599)DNB1019655453 |
| dewey-full | 005.01 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.01 |
| dewey-search | 005.01 |
| dewey-sort | 15.01 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039965783</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120516</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120319s2012 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1019655453</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364228728X</subfield><subfield code="9">3-642-28728-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642287282</subfield><subfield code="c">Pb. : ca. EUR 66.34 (DE) (freier Pr.), ca. EUR 68.20 (AT) (freier Pr.), ca. sfr 83.00 (freier Pr.)</subfield><subfield code="9">978-3-642-28728-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642287282</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86074890</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)794832985</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1019655453</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.01</subfield><subfield code="2">22/ger</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">Foundations of Software Science and Computational Structures</subfield><subfield code="b">15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings</subfield><subfield code="c">Lars Birkedal (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 484 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7213</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">2012</subfield><subfield code="z">Reval</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Birkedal, Lars</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">15</subfield><subfield code="d">2012</subfield><subfield code="c">Tallinn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16343690-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-28729-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7213</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7213</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3976381&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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&doc_library=BVB01&local_base=BVB01&doc_number=024823428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024823428</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Reval gnd-content |
| genre_facet | Konferenzschrift 2012 Reval |
| id | DE-604.BV039965783 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:39Z |
| institution | BVB |
| institution_GND | (DE-588)16343690-3 |
| isbn | 364228728X 9783642287282 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024823428 |
| oclc_num | 794832985 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | XVII, 484 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings Lars Birkedal (ed.) Berlin [u.a.] Springer 2012 XVII, 484 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7213 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Softwarewissenschaft (DE-588)4502639-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Reval gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Software Engineering (DE-588)4116521-4 s Softwarewissenschaft (DE-588)4502639-7 s 1\p DE-604 Birkedal, Lars Sonstige oth FOSSACS 15 2012 Tallinn Sonstige (DE-588)16343690-3 oth Erscheint auch als Online-Ausgabe 978-3-642-28729-9 Lecture notes in computer science 7213 (DE-604)BV000000607 7213 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3976381&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024823428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4116521-4 (DE-588)4502639-7 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings |
| title_auth | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings |
| title_exact_search | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings |
| title_full | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings Lars Birkedal (ed.) |
| title_fullStr | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings Lars Birkedal (ed.) |
| title_full_unstemmed | Foundations of Software Science and Computational Structures 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings Lars Birkedal (ed.) |
| title_short | Foundations of Software Science and Computational Structures |
| title_sort | foundations of software science and computational structures 15th international conference fossacs 2012 held as part of the european joint conferences on theory and practice of software etaps 2012 tallinn estonia march 24 april 1 2012 proceedings |
| title_sub | 15th international conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Theoretische Informatik Software Engineering Softwarewissenschaft Programmierung Konferenzschrift 2012 Reval |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3976381&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024823428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT birkedallars foundationsofsoftwarescienceandcomputationalstructures15thinternationalconferencefossacs2012heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2012tallinnestoniamarch24april12012proceedings AT fossacstallinn foundationsofsoftwarescienceandcomputationalstructures15thinternationalconferencefossacs2012heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2012tallinnestoniamarch24april12012proceedings |