Holdings: Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems: 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2014
Series:	Lecture notes in computer science 8413 : Advanced research in computing and software science
Subjects:	Theoretische Informatik Entscheidungsverfahren Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Systemanalyse Programmiersprache Konferenzschrift > 2014 > Grenoble
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XVIII, 652 S. graph. Darst.
ISBN:	364254861X 9783642548611

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041748882
003	DE-604
005	20140403
007	t\|
008	140320s2014 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 14,N10 \|2 dnb
016	7		\|a 1047985950 \|2 DE-101
020			\|a 364254861X \|9 3-642-54861-X
020			\|a 9783642548611 \|c Pb. : ca. EUR 85.60 (DE) (freier Pr.), ca. EUR 88.00 (AT) (freier Pr.), ca. sfr 106.50 (freier Pr.) \|9 978-3-642-54861-1
024	3		\|a 9783642548611
028	5	2	\|a Best.-Nr.: 86364889
035			\|a (OCoLC)878389297
035			\|a (DE-599)DNB1047985950
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-91G \|a DE-11
082	0		\|a 005.12 \|2 22/ger
084			\|a DAT 310f \|2 stub
245	1	0	\|a Tools and algorithms for the construction and analysis of systems \|b 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings \|c Erika Ábrahám ... (eds.)
263			\|a 201403
264		1	\|a Berlin [u.a.] \|b Springer \|c 2014
300			\|a XVIII, 652 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 8413 : Advanced research in computing and software science
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidungsverfahren \|0 (DE-588)4637781-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 Systemanalyse \|0 (DE-588)4116673-5 \|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 2014 \|z Grenoble \|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 Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	0	3	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	4	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	0	5	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	0	6	\|a Entscheidungsverfahren \|0 (DE-588)4637781-5 \|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 Ábrahám, Erika \|d 1970- \|e Sonstige \|0 (DE-588)173826598 \|4 oth
711	2		\|a TACAS \|n 20 \|d 2014 \|c Grenoble \|j Sonstige \|0 (DE-588)1048714985 \|4 oth
711	2		\|a ETAPS \|n 17 \|d 2014 \|c Grenoble \|j Sonstige \|0 (DE-588)1048714993 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-54862-8
830		0	\|a Lecture notes in computer science \|v 8413 : Advanced research in computing and software science \|w (DE-604)BV000000607 \|9 8413
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4605458&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=027195316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027195316

Record in the Search Index

_version_	1820875566240235520
adam_text	TABLE OF CONTENTS INVITED CONTRIBUTION VARIATIONS ON SAFETY 1 ORNA KUPFERMAN DECISION PROCEDURES AND THEIR APPLICATION IN ANALYSIS DECISION PROCEDURES FOR FLAT ARRAY PROPERTIES 15 FRANCESCO ALBERTI, SILVIO GHILARDI, AND NATASHA SHARYGINA SATMC: A SAT-BASED MODEL CHECKER FOR SECURITY-CRITICAL SYSTEMS. 31 ALESSANDRO ARMANDO, ROBERTO CARBONS, AND LUCA COMPAGNA IC3 MODULO THEORIES VIA IMPLICIT PREDICATE ABSTRACTION 46 ALESSANDRO CIRNATTI, ALBERTO GRIGGIO, SERGIO MOVER, AND STEFANO TONETTA SMT-BASED VERIFICATION OF SOFTWARE COUNTERMEASURES AGAINST SIDE-CHANNEL ATTACKS 62 HASSAN ELDIB, GHAO WANG, AND, PATRICK SCHAUMONT DETECTING UNREALIZABLE SPECIFICATIONS OF DISTRIBUTED SYSTEMS 78 BERND FINKBEINER AND LEANDER TENTRUP SYNTHESIZING SAFE BIT-PRECISE INVARIANTS 93 ARIE GURFINKEL, ANTON BELOV, AND JOAO MARQUES-SILVA PEALT: AN AUTOMATED REASONING TOOL FOR NUMERICAL AGGREGATION OF TRUST EVIDENCE 109 MICHAEL HUTH AND JIM HUAN-PU KUO GRASSHOPPER: COMPLETE HEAP VERIFICATION WITH MIXED SPECIFICATIONS 124 RUZICA PISKAC, THOMAS WIES, AND DAMIEN ZUFFEREY COMPLEXITY AND TERMINATION ANALYSIS ALTERNATING RUNTIME AND SIZE COMPLEXITY ANALYSIS OF INTEGER PROGRAMS 140 MARC BROCKSCHMIDT, FA,BIAN EMM,ES, STEPHAN FA,IKE, CARSTEN FUHS, AND JIIRGEN GIESL HTTP://D-NB.INFO/1047985950 XIV TABLE OF CONTENTS PROVING NONTERMINAL,ION VIA SAFETY 156 HONG- YI CHEN, BYRON COOK. CARNTEN FUHS, KAUSTUBH NIMKAR, AND PETER O'HEARN RANKING TEMPLATES FOR LINEAR LOOPS 172 JAN LEIKE AND MATTHIAS HEIZMANN MODELING AND MODEL CHECKING DISCRETE SYSTEMS FDR3 * A MODERN REFINEMENT CHECKER FOR CSP 187 THOMAS GIBSON-ROBINSON, PHILIP ARMSTRONG, ALEXANDRE BOULGAKOV, AND, ANDREW W. ROSCOE CONCURRENT DEPTH-FIRST SEARCH ALGORITHMS 202 GAVIN LOWE BASIC PROBLEMS IN MULTI-VIEW MODELING 217 JAN REINEKE AND, STAVROS TRIPAKIS GPUEXPLORE: MANY-CORE ON-THE-FLY STATE SPACE EXPLORATION USING GPUS 233 ANTON WI'JS AND DRAG AN BOMACKI TIMED AND HYBRID SYSTEMS FORWARD REACHABILITY COMPUTATION FOR AUTONOMOUS MAX-PLUS-LINEAR SYSTEMS 248 DIEKY ADZKIYA, BART, DE SCHUTTER, AND ALESSANDRO ABATE COMPOSITIONAL INVARIANT GENERATION FOR TIMED SYSTEMS 263 LACRAMIOARA AGTEFANOAEI, SOUHA BEN, RAYANA, SADDEK BENSALEM, MARIUS BOZGA, AND JACQUES CORNBAZ CHARACTERIZING ALGEBRAIC INVARIANTS BY DIFFERENTIAL RADICAL INVARIANTS. . . 279 KHAML GHORBA.L, AND, ANDRE PLATZER QUASI-EQUAL CLOCK REDUCTION: MORE NETWORKS, MORE QUERIES 295 CHRISTIAN HERRERA, BERND WESTPHAL, AND, ANDREA,S POD,EL,SKI, ARE TIMED AUTOMATA BAD FOR A SPECIFICATION LANGUAGE? LANGUAGE INCLUSION CHECKING FOR TIMED AUTOMATA 310 TING WANG, JUN SUN, YANG LIU, XINYU WANG, AND, SLUMPING LI TABLE OF CONTENTS XV MONITORING, FAULT DETECTION AND IDENTIFICATION FORMAL DESIGN OF FAULT DETECTION AND IDENTIFICATION COMPONENTS USING TEMPORAL EPISTEMIC LOGIC 326 MARCO BOZZA.NO, ALESSAND.RO CIRNAMI, MARCO GARIO, AND STEFA.NO TONETTA MONITORING MODULO THEORIES 341 NORM,AMI DECKER, MARTIN LEUCKER, AND DANIEL THORNA TEMPORAL-LOGIC BASED RUNTIME OBSERVER PAIRS FOR SYSTEM HEALTH MANAGEMENT OF REAL-TIME SYSTEMS 357 THOMAS REINBACHER, KRISTIN YVONNE ROZIER, AND JOHANN SCHUMANN COMPETITION ON SOFTWARE VERIFICATION STATUS REPORT ON SOFTWARE VERIFICATION (COMPETITION SUMMARY SV-COMP 2014) 373 DIRK BEYER CBMC - C BOUNDED MODEL CHECKER (COMPETITION CONTRIBUTION) 389 DANIEL KROENING AND, MICHAEL TAUTSCHNIG CPACHECKER WITH SEQUENTIAL COMBINATION OF EXPLICIT-VALUE ANALYSES AND PREDICATE ANALYSES (COMPETITION CONTRIBUTION) 392 STEFAN LOWE, MIKHAIL MANDRYKIN, AND, PHILIPP WENDLER CPALIEN: SHAPE ANALYZER FOR CPACHECKER (COMPETITION CONTRIBUTION) 395 PETR MULLER AND TOMDS VOJNAR LAZY-CSEQ: A LAZY SEQUENTIALIZATION TOOL FOR C (COMPETITION CONTRIBUTION) 398 OMAR INVERSO, ERMENEGILDO TOMASCO, BERND FISCHER, SALVATORE LA, TORRE, AND, GENNARO PARLATO MU-CSEQ: SEQUENTIALIZATION OF C PROGRAMS BY SHARED MEMORY UNWINDINGS (COMPETITION CONTRIBUTION) 402 ERMENEGILDO TOMASCO, OMAR INVERSO, BERND FISCHER, SALVATORE LA TORRE, AND, GENNARO PARI,A,TO ESBMC 1.22 (COMPETITION CONTRIBUTION) 405 JEREMY MORSE, MIKHAIL RAMALHO, LUCAS CORDEIRO, DENIS NICOLE, AND, BERND, FISCHER FRANKENBIT: BIT-PRECISE VERIFICATION WITH MANY BITS (COMPETITION CONTRIBUTION) 408 ARIE GURFINKEL AND, ANTON BELOV XVI TABLE OF CONTENTS PREDATOR: A SHAPE ANALYZER BASED ON SYMBOLIC MEMORY GRAPHS (COMPETITION CONTRIBUTION) 412 KARNIL DUDKA, PETR PERINGER, AND TORRIDS VOJNAR SYMBIOTIC 2: MORE PRECISE SLICING (COMPETITION CONTRIBUTION) 415 JIRI SLABY AND JAN STREJCEK ULTIMATE AUTOMIZER WITH UNSATISFIABLE CORES (COMPETITION CONTRIBUTION) 418 MATTHIAS HEIZMANN, JIIRGEN CHRIST, DANIEL DIETSCH, .JOCHEN HOENICKE, MARKUS LINDENM,ANN, BETIM MUSA, CHRISTIAN SCHILLING, STEFAN WISSERT, AND ANDREAS PODELSKI ULTIMATE KOJAK (COMPETITION CONTRIBUTION) 421 EVREN ERMIS, ALEXANDER NUTZ, DANIEL DIETSCH, JOCHEN HOENICKE, AND ANDREAS PODELSKI SPECIFYING AND CHECKING LINEAR TIME PROPERTIES DISCOUNTING IN LTL 424 SHAULL ALMAGOR, UDI BOKER, AND ORNA KUPFERMAN SYMBOLIC MODEL CHECKING OF STUTTER-INVARIANT PROPERTIES USING GENERALIZED TESTING AUTOMATA 440 ALA EDDINE BEN SALEM, ALEXANDRE DURET-LUTZ, FABRI.CE KORDON, AND YANN THIERRY-MIEG SYNTHESIS AND LEARNING SYMBOLIC SYNTHESIS FOR EPISTEMIC SPECIFICATIONS WITH OBSERVATIONAL SEMANTICS 455 XIAOWEI HUANG AND RON VAN DER MEYDEN SYNTHESIS FOR HUMAN-IN-THE-LOOP CONTROL SYSTEMS 470 WENCHAO LI, DORSA SADIGH, S. SHANKAR SASTRY, AND SANJIT A. SESHIA LEARNING REGULAR LANGUAGES OVER LARGE ALPHABETS 485 ODED MALER AND IRINI-ELEFTHERIA MENS QUANTUM AND PROBABILISTIC SYSTEMS VERIFICATION OF CONCURRENT QUANTUM PROTOCOLS BY EQUIVALENCE CHECKING 500 EBRAHIM ARDESHIR-LARIJANI, SIMON J. GAY, AND RAJAGOPAL NAGARAJAN TABLE OF CONTENTS XVII COMPUTING CONDITIONAL PROBABILITIES IN MARKOVIAN MODELS EFFICIENTLY 515 CHRISTEL BAIER, JOACHIM KLEIN, SASCHA KLIIPPELHOLZ, AND STEFFEN MARCHER PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS 531 KLAUS DRAGER, VOJTECH FOREJT, MART,A, KWIA.TKOWSKA, DAVID, PARKER, AND MATEUSZ UJMA PRECISE APPROXIMATIONS OF THE PROBABILITY DISTRIBUTION OF A MARKOV PROCESS IN TIME: AN APPLICATION TO PROBABILISTIC INVARIANCE 547 SADEGH ESMAEIL ZADEH, SOUDJANI AND, ALESSANDRO ABATE TOOL DEMONSTRATIONS SACO: STATIC ANALYZER FOR CONCURRENT OBJECTS 562 ELVIRA ALBERT, PURI ARENAS, ANTONIO FLORES-MONTOYA, SAMIR GENAIM, MIGUEL GOMEZ-ZAMALLOA, ENRIQUE MART,IN-MART IN, GERMAN PUEBLA, AND GUILLERMO ROMAN-DIEZ VERIMAP: A TOOL FOR VERIFYING PROGRAMS THROUGH TRANSFORMATIONS 568 EMANUELE DE ANGEL,IS, FA,BIO FIORAVANTI, ALBERTO PETTOROSUI, AND, MAURIZIO PROIETTI CIF 3: MODEL-BASED ENGINEERING OF SUPERVISORY CONTROLLERS 575 DIRK A. VA,N BEEK, WAN J. FOKKINK, DENNIS HENDRIKS, ALBERT, HOJKAMP, JASEN MARKOVSKI, JOANNA M. VAN DE MORTEL-FRONCZAK, AND MICHEL A. RENIERS EDD: A DECLARATIVE DEBUGGER FOR SEQUENTIAL ERLANG PROGRAMS 581 RAFAEL CABALLERO, ENRIQUE MARTIN-MARTIN, ADRIAN RIESCO, AND, SALVADOR TAMARIT APTE: AN ALGORITHM FOR PROVING TRACE EQUIVALENCE 587 VINCENT CH.EVAL THE MODEST TOOLSET: AN INTEGRATED ENVIRONMENT FOR QUANTITATIVE MODELLING AND VERIFICATION 593 AMD HARTRNANNS AND, HOLGER HERMANNS BOUNDS2: A TOOL FOR COMPOSITIONAL MULTI-PARAMETRISED VERIFICATION . 599 ANTTI SIIRTOLA CASE STUDIES ON THE CORRECTNESS OF A BRANCH DISPLACEMENT ALGORITHM JAAP BOENDER AND CLAUDIO SACERDOTI COEN 605 XVIII TABLE OF CONTENTS ANALYZING THE NEXT GENERATION AIRBORNE COLLISION AVOIDANCE SYSTEM. . . 620 CHRISTIAN VON ESSEN AND DIMITRA GIA.NNAKOPOULOU ENVIRONMENT-MODEL BASED TESTING OF CONTROL SYSTEMS: CASE STUDIES . . . 636 ERWAN JAHIER, SIMPLICE DJOKO-DJOKO, CHAOUKI MA.IZA. AND ERIC LA,FONT AUTHOR INDEX 651
any_adam_object	1
author_GND	(DE-588)173826598
building	Verbundindex
bvnumber	BV041748882
classification_rvk	SS 4800
classification_tum	DAT 310f
ctrlnum	(OCoLC)878389297 (DE-599)DNB1047985950
dewey-full	005.12
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.12
dewey-search	005.12
dewey-sort	15.12
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">BV041748882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140403</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">140320s2014 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,N10</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1047985950</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364254861X</subfield><subfield code="9">3-642-54861-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642548611</subfield><subfield code="c">Pb. : ca. EUR 85.60 (DE) (freier Pr.), ca. EUR 88.00 (AT) (freier Pr.), ca. sfr 106.50 (freier Pr.)</subfield><subfield code="9">978-3-642-54861-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642548611</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86364889</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)878389297</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1047985950</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-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.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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">20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings</subfield><subfield code="c">Erika Ábrahám ... (eds.)</subfield></datafield><datafield tag="263" ind1=" " ind2=" "><subfield code="a">201403</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 652 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">8413 : Advanced research in computing and software science</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">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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">2014</subfield><subfield code="z">Grenoble</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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><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="5"><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="6"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-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">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">Ábrahám, Erika</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)173826598</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">20</subfield><subfield code="d">2014</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1048714985</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">17</subfield><subfield code="d">2014</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1048714993</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-54862-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8413 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8413</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=4605458&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=027195316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027195316</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2014 Grenoble gnd-content
genre_facet	Konferenzschrift 2014 Grenoble
id	DE-604.BV041748882
illustrated	Illustrated
indexdate	2025-01-10T15:17:40Z
institution	BVB
institution_GND	(DE-588)1048714985 (DE-588)1048714993
isbn	364254861X 9783642548611
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027195316
oclc_num	878389297
open_access_boolean
owner	DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-83 DE-91G DE-BY-TUM DE-11
physical	XVIII, 652 S. graph. Darst.
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings Erika Ábrahám ... (eds.) 201403 Berlin [u.a.] Springer 2014 XVIII, 652 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8413 : Advanced research in computing and software science Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Grenoble gnd-content Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s Systemanalyse (DE-588)4116673-5 s Programmverifikation (DE-588)4135576-3 s Hardwareverifikation (DE-588)4214982-4 s Model Checking (DE-588)4434799-6 s Entscheidungsverfahren (DE-588)4637781-5 s DE-604 Programmiersprache (DE-588)4047409-4 s Programmierung (DE-588)4076370-5 s Theoretische Informatik (DE-588)4196735-5 s Ábrahám, Erika 1970- Sonstige (DE-588)173826598 oth TACAS 20 2014 Grenoble Sonstige (DE-588)1048714985 oth ETAPS 17 2014 Grenoble Sonstige (DE-588)1048714993 oth Erscheint auch als Online-Ausgabe 978-3-642-54862-8 Lecture notes in computer science 8413 : Advanced research in computing and software science (DE-604)BV000000607 8413 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4605458&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=027195316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Entscheidungsverfahren (DE-588)4637781-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 Systemanalyse (DE-588)4116673-5 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4637781-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)4116673-5 (DE-588)4047409-4 (DE-588)1071861417
title	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings
title_auth	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings
title_exact_search	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings
title_full	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings Erika Ábrahám ... (eds.)
title_fullStr	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings Erika Ábrahám ... (eds.)
title_full_unstemmed	Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings Erika Ábrahám ... (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 20th international conference tacas 2014 held as part of the european joint conferences on theory and practice of software etaps 2014 grenoble france april 5 13 2014 proceedings
title_sub	20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Entscheidungsverfahren (DE-588)4637781-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 Systemanalyse (DE-588)4116673-5 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Theoretische Informatik Entscheidungsverfahren Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Systemanalyse Programmiersprache Konferenzschrift 2014 Grenoble
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4605458&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=027195316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT abrahamerika toolsandalgorithmsfortheconstructionandanalysisofsystems20thinternationalconferencetacas2014heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2014grenoblefranceapril5132014proceedings AT tacasgrenoble toolsandalgorithmsfortheconstructionandanalysisofsystems20thinternationalconferencetacas2014heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2014grenoblefranceapril5132014proceedings AT etapsgrenoble toolsandalgorithmsfortheconstructionandanalysisofsystems20thinternationalconferencetacas2014heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2014grenoblefranceapril5132014proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items