Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7795 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041386467 | ||
| 003 | DE-604 | ||
| 005 | 20140331 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131029s2013 gw d||| o|||| 00||| eng d | ||
| 020 | |a 3642367410 |9 3-642-36741-0 | ||
| 020 | |a 9783642367427 |c Online |9 978-3-642-36742-7 | ||
| 024 | 7 | |a 10.1007/978-3-642-36742-7 |2 doi | |
| 024 | 3 | |a 9783642367410 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86236087 |
| 035 | |a (OCoLC)839974611 | ||
| 035 | |a (DE-599)BVBBV041386467 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 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.12 |2 22/ger | |
| 082 | 0 | |a 004.21 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |c Nir Piterman ... (Eds.) |
| 264 | 1 | |a Berlin |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XXIV, 646 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 7795 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 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 Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Rom |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 3 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 4 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 2 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Piterman, Nir |e Sonstige |0 (DE-588)104940999X |4 oth | |
| 711 | 2 | |a TACAS |n 19 |d 2013 |c Rom |j Sonstige |0 (DE-588)1033888370 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-36741-0 |
| 830 | 0 | |a Lecture notes in computer science |v 7795 |w (DE-604)BV014880109 |9 7795 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-36742-7 |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=026834354&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=026834354&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026834354 | |
Datensatz im Suchindex
| DE-BY-UBR_katkey | 6612113 |
|---|---|
| _version_ | 1822673669910953984 |
| adam_text |
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ON-THE-FLY EXACT COMPUTATION OF BISIMILARITY DISTANCES
THE QUEST FOR MINIMAL QUOTIENTS FOR PROBABILISTIC AUTOMATA
LTL MODEL CHECKING OF INTERVAL MARKOV CHAINS
RAMSEY VS. LEXICOGRAPHIC TERMINATION PROVING
STRUCTURAL COUNTER ABSTRACTION
EXTENDING QUANTIFIER ELIMINATION TO LINEAR INEQUALITIES ON BIT-VECTORS
THE MATHSAT5 SMT SOLVER
FORMULA PREPROCESSING IN MUS EXTRACTION
PROOF TREE PRESERVING INTERPOLATION
ASYNCHRONOUS MULTI-CORE INCREMENTAL SAT SOLVING
MODEL-CHECKING ITERATED GAMES
PRISM-GAMES: A MODEL CHECKER FOR STOCHASTIC MULTI-PLAYER GAMES
PIC2LNT: MODEL TRANSFORMATION FOR MODEL CHECKING AN APPLIED PI-CALCULUS
AN OVERVIEW OF THE MCRL2 TOOLSET AND ITS RECENT ADVANCES
ANALYSIS OF BOOLEAN PROGRAMS
WEIGHTED PUSHDOWN SYSTEMS WITH INDEXED WEIGHT DOMAINS
UNDERAPPROXIMATION OF PROCEDURE SUMMARIES FOR INTEGER PROGRAMS
RUNTIME VERIFICATION BASED ON REGISTER AUTOMATA
UNBOUNDED MODEL-CHECKING WITH INTERPOLATION FOR REGULAR LANGUAGE
CONSTRAINTS
EVOLCHECK: INCREMENTAL UPGRADE CHECKER FOR C
INTERTWINED FORWARD-BACKWARD REACHABILITY ANALYSIS USING INTERPOLANTS
AN INTEGRATED SPECIFICATION AND VERIFICATION TECHNIQUE OR HIGHLY
CONCURRENT DATA STRUCTURES
A VERIFICATION-BASED APPROACH TO MEMORY FENCE INSERTION IN PSO MEMORY
SYSTEMS
IDENTIFYING DYNAMIC DATA STRUCTURES BY LEARNING EVOLVING PATTERNS IN
MEMORY
SYNTHESIS OF CIRCULAR COMPOSITIONAL PROGRAM PROOFS VIA ABDUCTION
AS SOON AS PROBABLE: OPTIMAL SCHEDULING UNDER STOCHASTIC UNCERTAINTY
INTEGER PARAMETER SYNTHESIS FOR TIMED AUTOMATA
LTL MODEL-CHECKING FOR MALWARE DETECTION
POLICY ANALYSIS FOR SELF-ADMINISTRATED ROLE-BASED ACCESS CONTROL
MODEL CHECKING AGENT KNOWLEDGE IN DYNAMIC ACCESS CONTROL POLICIES
FRONTIERS (GRAPHICS AND QUANTUM) AUTOMATIC TESTING OF REAL-TIME GRAPHICS
SYSTEMS
EQUIVALENCE CHECKING OF QUANTUM PROTOCOLS
ENCODING MONOMORPHIC AND POLYMORPHIC TYPES
DERIVING PROBABILITY DENSITY FUNCTIONS FROM PROBABILISTIC FUNCTIONAL
PROGRAMS
TOOL DEMONSTRATIONS POLYGLOT: SYSTEMATIC ANALYSIS FOR MULTIPLE
STATECHART FORMALISMS
MEMORAX, A PRECISE AND SOUND TOOL FOR AUTOMATIC FENCE INSERTION UNDER
TSO
BULL: A LIBRARY FOR LEARNING ALGORITHMS OF BOOLEAN FUNCTIONS
APPGUARD – ENFORCING USER REQUIREMENTS ON ANDROID APPS
MODEL CHECKING DATABASE APPLICATIONS
EFFICIENT PROPERTY PRESERVATION CHECKING OF MODEL REFINEMENTS
STRENGTH-BASED DECOMPOSITION OF THE PROPERTY BUECHI AUTOMATON FOR FASTER
MODEL CHECKING
COMPETITION ON SOFTWARE VERIFICATION SECOND COMPETITION ON SOFTWARE
VERIFICATION (SUMMARY OF SV-COMP 2013)
CPACHECKER WITH EXPLICIT-VALUE ANALYSIS BASED ON CEGAR AND INTERPOLATION
(COMPETITION CONTRIBUTION)
CPACHECKER WITH SEQUENTIAL COMBINATION OF EXPLICIT-STATE ANALYSIS AND
PREDICATE ANALYSIS (COMPETITION CONTRIBUTION)
CSEQ: A SEQUENTIALIZATION TOOL FOR C (COMPETITION CONTRIBUTION)
HANDLING UNBOUNDED LOOPS WITH ESBMC 1.20 (COMPETITION CONTRIBUTION)
LLBMC: IMPROVED BOUNDED MODEL CHECKING OF C PROGRAMS USING LLVM
(COMPETITION CONTRIBUTION)
PREDATOR: A TOOL FOR VERIFICATION OF LOW-LEVEL LIST MANIPULATION
(COMPETITION CONTRIBUTION)
SYMBIOTIC: SYNERGY OF INSTRUMENTATION, SLICING, AND SYMBOLIC EXECUTION
(COMPETITION CONTRIBUTION)
THREADER: A VERIFIER FOR MULTI-THREADED PROGRAMS (COMPETITION
CONTRIBUTION)
UFO: VERIFICATION WITH INTERPOLANTS AND ABSTRACT INTERPRETATION
(COMPETITION CONTRIBUTION)
ULTIMATE AUTOMIZER WITH SMTINTERPOL (COMPETITION CONTRIBUTION)
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 19TH INTERNATIONAL
CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF
SYSTEMS, TACAS 2013, HELD IN ROME, ITALY, IN MARCH 2013. THE 42 PAPERS
PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 172
SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL SECTIONS NAMED: MARKOV
CHAINS; TERMINATION; SAT/SMT; GAMES AND SYNTHESIS; PROCESS ALGEBRA;
PUSHDOWN; RUNTIME VERIFICATION AND MODEL CHECKING; CONCURRENCY; LEARNING
AND ABDUCTION; TIMED AUTOMATA; SECURITY AND ACCESS CONTROL; FRONTIERS
(GRAPHICS AND QUANTUM); FUNCTIONAL PROGRAMS AND TYPES; TOOL
DEMONSTRATIONS; EXPLICIT-STATE MODEL CHECKING; BUECHI AUTOMATA; AND
COMPETITION ON SOFTWARE VERIFICATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)104940999X |
| building | Verbundindex |
| bvnumber | BV041386467 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)839974611 (DE-599)BVBBV041386467 |
| dewey-full | 005.12 004.21 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.12 004.21 |
| dewey-search | 005.12 004.21 |
| dewey-sort | 15.12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-36742-7 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041386467</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140331</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131029s2013 gw d||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642367410</subfield><subfield code="9">3-642-36741-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642367427</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-36742-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-36742-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642367410</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86236087</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839974611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041386467</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</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.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</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="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and algorithms for the construction and analysis of systems</subfield><subfield code="b">19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings</subfield><subfield code="c">Nir Piterman ... (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXIV, 646 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">7795</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">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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Rom</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Piterman, Nir</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)104940999X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">19</subfield><subfield code="d">2013</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033888370</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-36741-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7795</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7795</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-36742-7</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=026834354&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=026834354&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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026834354</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content |
| genre_facet | Konferenzschrift 2013 Rom |
| id | DE-604.BV041386467 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:38:49Z |
| institution | BVB |
| institution_GND | (DE-588)1033888370 |
| isbn | 3642367410 9783642367427 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026834354 |
| oclc_num | 839974611 |
| 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 (XXIV, 646 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 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Hardwareverifikation (DE-588)4214982-4 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4135576-3 (DE-588)4076370-5 (DE-588)4116522-6 (DE-588)4214982-4 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Nir Piterman ... (Eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Nir Piterman ... (Eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Nir Piterman ... (Eds.) |
| title_short | Tools and algorithms for the construction and analysis of systems |
| title_sort | tools and algorithms for the construction and analysis of systems 19th international conference tacas 2013 held as part of the european joint conferences on theory and practice of software etaps 2013 rome italy march 16 24 2013 proceedings |
| title_sub | 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Hardwareverifikation (DE-588)4214982-4 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Theoretische Informatik Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Programmiersprache Konferenzschrift 2013 Rom |
| url | https://doi.org/10.1007/978-3-642-36742-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026834354&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=026834354&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT pitermannir toolsandalgorithmsfortheconstructionandanalysisofsystems19thinternationalconferencetacas2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings AT tacasrom toolsandalgorithmsfortheconstructionandanalysisofsystems19thinternationalconferencetacas2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings |