Verfügbarkeit: Tools and algorithms for the construction and analysis of systems

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:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin Springer 2013
Schriftenreihe:	Lecture notes in computer science 7795
Schlagworte:	Theoretische Informatik Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Programmiersprache Konferenzschrift > 2013 > Rom
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XXIV, 646 S. graph. Darst. 235 mm x 155 mm
ISBN:	9783642367410 3642367410

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040918639
003	DE-604
005	20140331
007	t\|
008	130328s2013 gw d\|\|\| \|\|\|\| 00\|\|\| eng d
015			\|a 13,N06 \|2 dnb
016	7		\|a 1030437815 \|2 DE-101
020			\|a 9783642367410 \|c Pb. : ca. EUR 84.53 (DE) (freier Pr.), ca. EUR 86.90 (AT) (freier Pr.), ca. sfr 105.50 (freier Pr.) \|9 978-3-642-36741-0
020			\|a 3642367410 \|9 3-642-36741-0
024	3		\|a 9783642367410
028	5	2	\|a Best.-Nr.: 86236087
035			\|a (OCoLC)839974611
035			\|a (DE-599)DNB1030437815
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-11 \|a DE-91G
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
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 XXIV, 646 S. \|b graph. Darst. \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|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
711	2		\|a ETAPS \|n 16 \|d 2013 \|c Rom \|j Sonstige \|0 (DE-588)1033675636 \|4 oth
830		0	\|a Lecture notes in computer science \|v 7795 \|w (DE-604)BV000000607 \|9 7795
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4248036&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=025897825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025897825

Datensatz im Suchindex

_version_	1820875455013584896
adam_text	IMAGE 1 T A B L E O F C O N T E N T S INVITED TALK SAT-BASED MODEL CHECKING: INTERPOLATION, IC3 AND BEYOND XVII ORNA GRUMBERG M A R K O V C H A I N S ON-THE-FLY EXACT COMPUTATION OF BISIMILARITY DISTANCES 1 GIORGIO BACCI, GIOVANNI BACCI, K I M G. LARSEN, A N D R A D U MARDARE THE QUEST FOR MINIMAL QUOTIENTS FOR PROBABILISTIC AUTOMATA 16 CHRISTIAN EISENTRAUT. HOLGER HERMANNS, J O H A N N SCHUSTER, ANDREA TURRINI, AND L I J U N ZHANG LTL MODEL CHECKING OF INTERVAL MARKOV CHAINS 32 MICHAEL BENEDIKT, RASTISLAV LENHARDT, A N D J A M E S WORRELL T E R M I N A T I O N RAMSEY VS. LEXICOGRAPHIC TERMINATION PROVING 47 BYRON COOK, ABIGAIL SEE, AND FLORIAN ZULEGER STRUCTURAL COUNTER ABSTRACTION 62 KSHITIJ BANSAL, ERIC KOSKINEN, T H O M A S WIES, AND D A M I E N ZUFFEREY Q U A N T I F I E R E L I M I N A T I O N EXTENDING QUANTIFIER ELIMINATION TO LINEAR INEQUALITIES ON BIT-VECTORS 78 A J I T H K. J O H N A N D SUPRATIK CHAKRABORTY S A T / S M T THE MATHSAT5 SMT SOLVER 93 ALESSANDRO CIMATTI, ALBERTO GRIGGIO, BASTIAAN JOOST SCHAAFSMA, AND ROBERTO SEBASTIANI FORMULA PREPROCESSING IN MUS EXTRACTION 108 A N T O N BELOV, M A T T I JARVISALO, A N D JOAO MARQUES-SILVA PROOF TREE PRESERVING INTERPOLATION 124 JIIRGEN CHRIST, JOCHEN HOENICKE, A N D ALEXANDER N U T Z HTTP://D-NB.INFO/1030437815 IMAGE 2 X X TABLE OF CONTENTS ASYNCHRONOUS MULTI-CORE INCREMENTAL SAT SOLVING 139 SIERT WIERINGA AND KEIJO HELJANKO G A M E S A N D S Y N T H E S I S MODEL-CHECKING ITERATED GAMES 154 CHUNG-HAO HUANG, S V E N SCHEME, A N D FARN WANG SYNTHESIS FROM LTL SPECIFICATIONS WITH MEAN-PAYOFF OBJECTIVES 169 AARON BOHY, VERONIQUE BRUYERE, E M M A N U E L FILIOT, AND JEAN-FRANGOIS R A S K I N PRISM-GAMES: A MODEL CHECKER FOR STOCHASTIC MULTI-PLAYER GAMES . . . . 185 TAOLUE CHEN, VOJTECH FOREJT, M A R T A KWIATKOWSKA, DAVID PARKER, AND AISTIS SIMAITIS P R O C E S S A L G E B R A PIC2LNT: MODEL TRANSFORMATION FOR MODEL CHECKING AN APPLIED PI-CALCULUS 192 RADU MATEESCU A N D GWEN SALAIIN A N OVERVIEW OF THE MCRL2 TOOLSET AND ITS RECENT ADVANCES 199 SJOERD CRANEN, J A N FRISO GROOTE, JEROEN J . A . KEIREN, FRANK P . M . STAPPERS, E R I K P. DE VINK, WIEGER WESSELINK, AND T I M A . C . WILLEMSE P U S H D O W N S Y S T E M S B O O L E A N / I N T E G E R P R O G R A M S ANALYSIS OF BOOLEAN PROGRAMS 214 PATRICE GODEFROID AND MIHALIS YANNAKAKIS WEIGHTED PUSHDOWN SYSTEMS WITH INDEXED WEIGHT DOMAINS 230 YASUHIKO M I N A M I D E UNDERAPPROXIMATION OF PROCEDURE SUMMARIES FOR INTEGER PROGRAMS 245 PIERRE GANTY, R A D U IOSIF, A N D FILIP K O N E C N Y R U N T I M E VERIFICATION A N D M O D E L C H E C K I N G RUNTIME VERIFICATION BASED ON REGISTER AUTOMATA 260 RADU GRIGORE, DINO DISTEFANO, R A S M U S LERCHEDAHL PETERSEN, AND NIKOS TZEVELEKOS UNBOUNDED MODEL-CHECKING WITH INTERPOLATION FOR REGULAR LANGUAGE CONSTRAINTS 277 GRAEME GANGE, JORGE A . NAVAS, P E T E R J. STUCKEY, HARALD S0NDERGAARD, AND P E T E R SCHACHTE IMAGE 3 TABLE OF CONTENTS X X I EVOLCHECK: INCREMENTAL UPGRADE CHECKER FOR C 292 GRIGORY FEDYUKOVICH, ONDREJ SERY, AND NATASHA SHARYGINA INTERTWINED FORWARD-BACKWARD REACHABILITY ANALYSIS USING INTERPOLANTS 308 YAKIR VIZEL, ORNA GRURNBERG, AND SHARON S H O H A M C O N C U R R E N C Y AN INTEGRATED SPECIFICATION AND VERIFICATION TECHNIQUE OR HIGHLY CONCURRENT D A T A STRUCTURES 324 PAROSH A Z I Z ABDULLA, FREDERIC HAZIZA, LUKAS HOLIK, BENGT JONSSON, AND A H M E D REZINE A VERIFICATION-BASED APPROACH TO MEMORY FENCE INSERTION IN P S O MEMORY SYSTEMS 339 ALEXANDER L I N D E N AND PIERRE WOLPER L E A R N I N G A N D A B D U C T I O N IDENTIFYING DYNAMIC D A T A STRUCTURES BY LEARNING EVOLVING PATTERNS IN MEMORY 354 DAVID H. WHITE AND GERALD L U T T G E N SYNTHESIS OF CIRCULAR COMPOSITIONAL PROGRAM PROOFS VIA ABDUCTION . . . . 370 BOYANG LI, ISIL DILLIG, THOMAS DILLIG, K E N MCMILLAN, AND MOOLY SAGIV T I M E D A U T O M A T A AS SOON AS PROBABLE: OPTIMAL SCHEDULING UNDER STOCHASTIC UNCERTAINTY 385 JEAN-FRANGOIS KEMPF, MARIUS BOZGA, AND ODED MALER INTEGER PARAMETER SYNTHESIS FOR TIMED AUTOMATA 401 ALEKSANDRA JOVANOVIC, DIDIER LIME, AND OLIVIER H. R O U X S E C U R I T Y A N D A C C E S S C O N T R O L LTL MODEL-CHECKING FOR MALWARE DETECTION 416 FU SONG A N D TAYSSIR TOUILI POLICY ANALYSIS FOR SELF-ADMINISTRATED ROLE-BASED ACCESS CONTROL 432 A N N A LISA FERRARA, P. MADHUSUDAN, AND GENNARO PARLATO MODEL CHECKING AGENT KNOWLEDGE IN DYNAMIC ACCESS CONTROL POLICIES 448 MASOUD KOLEINI, EIKE RITTER, A N D M A R K R Y A N IMAGE 4 X X I I T A B L E O F C O N T E N T S F R O N T I E R S ( G R A P H I C S A N D Q U A N T U M ) AUTOMATIC TESTING OF REAL-TIME GRAPHICS SYSTEMS 463 ROBERT NAGY, GERARDO SCHNEIDER, A N D A R A M TIMOFEITCHIK EQUIVALENCE CHECKING OF QUANTUM PROTOCOLS 478 EBRAHIM ARDESHIR-LARIJANI, SIM,ON J. GAY, AND RAJAGOPAL NAGARAJAN F U N C T I O N A L P R O G R A M S A N D T Y P E S ENCODING MONOMORPHIC AND POLYMORPHIC TYPES 493 J A S M I N CHRISTIAN BLANCHETTE, SASCHA BOHME, ANDREI POPESCU, AND NICHOLAS SMAMBONE DERIVING PROBABILITY DENSITY FUNCTIONS FROM PROBABILISTIC FUNCTIONAL PROGRAMS 508 SOORAJ BHAT, JOHANNES BORGSTROM,, A N D R E W D. GORDON, AND CLAUDIO R U S S O T O O L D E M O N S T R A T I O N S POLYGLOT: SYSTEMATIC ANALYSIS.FOR MULTIPLE STATECHART FORMALISMS 523 DANIEL BALASUBRAMANIAN, CORINA S. PASAREANU, GABOR KARSAI, AND MICHAEL R . LOWRY M E M O R A X , A PRECISE AND SOUND TOOL FOR AUTOMATIC FENCE INSERTION UNDER TSO 530 PAROSH A Z I Z ABDULLA, MOHAMED FAOUZI ATIG, YU-FANG CHEN, CARL LEONARDSSON, AND A H M E D REZINE BULL: A LIBRARY FOR LEARNING ALGORITHMS OF BOOLEAN FUNCTIONS 537 YU-FANG CHEN A N D B O W - Y A W WANG APPGUARD - ENFORCING USER REQUIREMENTS ON ANDROID APPS 543 MICHAEL BACKES, SEBASTIAN GERLING, CHRISTIAN H A M M E R , MATTEO MAFFEI, A N D PHILIPP VON STYP-REKOWSKY E X P L I C I T - S T A T E M O D E L C H E C K I N G MODEL CHECKING DATABASE APPLICATIONS 549 MILOS GLIGORIC AND RUPAK M A J U M D A R EFFICIENT PROPERTY PRESERVATION CHECKING OF MODEL REFINEMENTS 565 A N T O N WIJS A N D L U C ENGELEN IMAGE 5 TABLE OF CONTENTS X X I I I B I I C H I A U T O M A T A STRENGTH-BASED DECOMPOSITION OF THE PROPERTY BIICHI AUTOMATON FOR FASTER MODEL CHECKING 580 ETIENNE RENAULT, ALEXANDRE DURET-LUTZ, FABRICE KORDON, AND DENIS POITRENAUD C O M P E T I T I O N O N S O F T W A R E VERIFICATION SECOND COMPETITION ON SOFTWARE VERIFICATION (SUMMARY OF SV-COMP 2013) 594 DIRK B E Y E R C P A C H E C K E R . WITH EXPLICIT-VALUE ANALYSIS BASED ON C E G A R A N D INTERPOLATION (COMPETITION CONTRIBUTION) 610 STEFAN LOWE CPACHECKER. WITH SEQUENTIAL COMBINATION OF EXPLICIT-STATE ANALYSIS AND PREDICATE ANALYSIS (COMPETITION CONTRIBUTION) 613 PHILIPP WENDLER CSEQ: A SEQUENTIALIZATION TOOL FOR C (COMPETITION CONTRIBUTION) 616 B E R N D FISCHER, O M A R INVERSO, AND GENNARO PARLATO HANDLING UNBOUNDED LOOPS WITH ESBMC 1.20 (COMPETITION CONTRIBUTION) 619 JEREMY MORSE, LUCAS CORDEIRO, DENIS NICOLE, AND B E R N D FISCHER LLBMC: IMPROVED BOUNDED MODEL CHECKING OF C PROGRAMS USING LLVM (COMPETITION CONTRIBUTION) 623 STEPHAN FALKE, FLORIAN MERZ, AND CARSTEN S I N Z PREDATOR: A TOOL FOR VERIFICATION OF LOW-LEVEL LIST MANIPULATION (COMPETITION CONTRIBUTION) 627 K A M I L DUDKA, P E T R MULLER, P E T R PERINGER, AND TOMDS VOJNAR SYMBIOTIC: SYNERGY OF INSTRUMENTATION, SLICING, AND SYMBOLIC EXECUTION (COMPETITION CONTRIBUTION) 630 JIRI SLABY, J A N STREJCEK, AND MAREK TRTIK THREADER: A VERIFIER FOR MULTI-THREADED PROGRAMS (COMPETITION CONTRIBUTION) 633 CORNELIU POPEEA AND A N D R E Y RYBALCHENKO UFO: VERIFICATION WITH INTERPOLANTS AND ABSTRACT INTERPRETATION (COMPETITION CONTRIBUTION) 637 A W S ALBARGHOUTHI, A R I E GURFINKEL, Y I LI, SAGAR CHAKI, AND MARSHA CHECHIK IMAGE 6 X X I V T A B L E O F C O N T E N T S ULTIMATE AUTOMIZER WITH SMTINTERPOL (COMPETITION CONTRIBUTION) . . . . 641 MATTHIAS HEIZMANN, JIIRGEN CHRIST, DANIEL DIETSCH, EVREN ERMIS, JOCHEN HOENICKE, MARKUS LINDENRNANN, ALEXANDER NUTZ, CHRISTIAN SCHILLING, AND ANDREAS PODELSKI A U T H O R I N D E X 645
any_adam_object	1
author_GND	(DE-588)104940999X
building	Verbundindex
bvnumber	BV040918639
classification_rvk	SS 4800
classification_tum	DAT 310f
ctrlnum	(OCoLC)839974611 (DE-599)DNB1030437815
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
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">BV040918639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140331</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130328s2013 gw d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1030437815</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642367410</subfield><subfield code="c">Pb. : ca. EUR 84.53 (DE) (freier Pr.), ca. EUR 86.90 (AT) (freier Pr.), ca. sfr 105.50 (freier Pr.)</subfield><subfield code="9">978-3-642-36741-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642367410</subfield><subfield code="9">3-642-36741-0</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)DNB1030437815</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-11</subfield><subfield code="a">DE-91G</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="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">XXIV, 646 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">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="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">16</subfield><subfield code="d">2013</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033675636</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">7795</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7795</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=4248036&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=025897825&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-025897825</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content
genre_facet	Konferenzschrift 2013 Rom
id	DE-604.BV040918639
illustrated	Illustrated
indexdate	2025-01-10T15:15:52Z
institution	BVB
institution_GND	(DE-588)1033888370 (DE-588)1033675636
isbn	9783642367410 3642367410
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025897825
oclc_num	839974611
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XXIV, 646 S. graph. Darst. 235 mm x 155 mm
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
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 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.) Berlin Springer 2013 XXIV, 646 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7795 Theoretische Informatik (DE-588)4196735-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 Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s Programmverifikation (DE-588)4135576-3 s Hardwareverifikation (DE-588)4214982-4 s Model Checking (DE-588)4434799-6 s DE-604 Programmiersprache (DE-588)4047409-4 s Programmierung (DE-588)4076370-5 s Theoretische Informatik (DE-588)4196735-5 s Piterman, Nir Sonstige (DE-588)104940999X oth TACAS 19 2013 Rom Sonstige (DE-588)1033888370 oth ETAPS 16 2013 Rom Sonstige (DE-588)1033675636 oth Lecture notes in computer science 7795 (DE-604)BV000000607 7795 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4248036&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=025897825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
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	http://deposit.dnb.de/cgi-bin/dokserv?id=4248036&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=025897825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT pitermannir toolsandalgorithmsfortheconstructionandanalysisofsystems19thinternationalconferencetacas2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings AT tacasrom toolsandalgorithmsfortheconstructionandanalysisofsystems19thinternationalconferencetacas2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings AT etapsrom toolsandalgorithmsfortheconstructionandanalysisofsystems19thinternationalconferencetacas2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge