Verfügbarkeit: Computer aided verification

Computer aided verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg [u.a.] Springer 2009
Schriftenreihe:	Lecture Notes in Computer Science 5643
Schlagworte:	Verifikation - Kongress - Grenoble <2009> Computer software > Verification > Congresses Integrated circuits > Verification > Congresses Verifikation Konferenzschrift > 2009 > Grenoble
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XV, 722 S. graph. Darst. 235 mm x 155 mm
ISBN:	9783642026577 3642026575

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV035636974
003	DE-604
005	20090805
007	t\|
008	090720s2009 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 09,N24,0014 \|2 dnb
016	7		\|a 994479433 \|2 DE-101
020			\|a 9783642026577 \|c PB. : EUR 86.62 (freier Pr.), sfr 126.00 (freier Pr.) \|9 978-3-642-02657-7
020			\|a 3642026575 \|9 3-642-02657-5
024	3		\|a 9783642026577
035			\|a (OCoLC)419645597
035			\|a (DE-599)DNB994479433
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-91G \|a DE-706 \|a DE-83 \|a DE-11
050		0	\|a QA76.76.V47
082	0		\|a 004.21015113 \|2 22/ger
082	0		\|a 005.12015113 \|2 22/ger
082	0		\|a 004.24 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 325f \|2 stub
245	1	0	\|a Computer aided verification \|b 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings \|c Ahmed Bouajjani ... (eds.)
264		1	\|a Berlin ; Heidelberg [u.a.] \|b Springer \|c 2009
300			\|a XV, 722 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 5643
650		4	\|a Verifikation - Kongress - Grenoble <2009>
650		4	\|a Computer software \|x Verification \|v Congresses
650		4	\|a Integrated circuits \|x Verification \|v Congresses
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2009 \|z Grenoble \|2 gnd-content
689	0	0	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0		\|5 DE-604
700	1		\|a Bouajjani, Ahmed \|e Sonstige \|4 oth
711	2		\|a CAV \|n 21 \|d 2009 \|c Grenoble \|j Sonstige \|0 (DE-588)16013910-7 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 5643 \|w (DE-604)BV000000607 \|9 5643
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=017691821&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017691821

Datensatz im Suchindex

_version_	1820875129173835776
adam_text	IMAGE 1 TABLE OF CONTENTS INVITED TUTORIALS TRANSACTIONAL MEMORY: GLIMMER OF A THEORY (INVITED PAPER) 1 RACHID GUERRAOUI AND MICHAL KAPALKA MIXED-SIGNAL SYSTEM VERIFICATION: A HIGH-SPEED LINK EXAMPLE 16 JAEHA KIM MODELLING EPIGENETIC INFORMATION MAINTENANCE: A KAPPA TUTORIAL 17 JEAN KRIVINE, VINCENT DANOS, AND ARNDT BENECKE COMPONENT-BASED CONSTRUCTION OF REAL-TIME SYSTEMS IN BIP 33 JOSEPH SIFAKIS INVITED TALKS MODELS AND PROOFS OF PROTOCOL SECURITY: A PROGRESS REPORT 35 MARTIN ABADI, BRUNO BLANCHET, AND HUBERT COMON-LUNDH PREDICTABILITY VS. EFFICIENCY IN THE MULTICORE ERA: FIGHT OF TITANS OR HAPPY EVER AFTER? 50 LUCA BENINI SPEED: SYMBOLIC COMPLEXITY BOUND ANALYSIS 51 SUMIT GULWANI REGRESSION VERIFICATION: P R O V I NG T HE EQUIVALENCE OF SIMILAR P R O G R A MS . . 63 OFER STRICHMAN REGULAR PAPERS SYMBOLIC COUNTER ABSTRACTION FOR CONCURRENT SOFTWARE 64 GERARD BASLER, MICHELE MAZZUCCHI, THOMAS WAHL, AND DANIEL KROENING ' P R I O R I TY S C H E D U L I NG OF D I S T R I B U T ED S Y S T E MS B A S ED ON M O D EL C H E C K I N G . . 79 ANANDA BASU, SADDEK BENSALEM, DOWN PELED, AND JOSEPH SIFAKIS EXPLAINING COUNTEREXAMPLES USING CAUSALITY 94 RAN BEER, SHOHAM BEN-DAVID, HANA CHOCKLER, AVIGAIL ORNI, AND RICHARD TREFLER BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994479433 DIGITALISIERT DURCH IMAGE 2 XII TABLE OF CONTENTS SIZE-CHANGE TERMINATION, MONOTONICITY CONSTRAINTS AND RANKING FUNCTIONS 109 AMIR M. BEN-AMRAM LINEAR FUNCTIONAL FIXED-POINTS 124 NIKOLAJ BJ0RNER AND JOE HENDRIX BETTER QUALITY IN SYNTHESIS THROUGH QUANTITATIVE OBJECTIVES 140 RODERICK BLOEM, KRISHNENDU CHATTERJEE, THOMAS A. HENZINGER, AND BARBARA JOBSTMANN AUTOMATIC VERIFICATION OF INTEGER ARRAY PROGRAMS 157 MARIUS BOZGA, PETER HABERMEHL, RADU IOSIF, FILIP KONECNY, AND TOMAS VOJNAR AUTOMATED ANALYSIS OF JAVA METHODS FOR CONFIDENTIALITY 173 PAVOL CERNY AND RAJEEV ALUR REQUIREMENTS VALIDATION FOR HYBRID SYSTEMS 188 ALESSANDRO CIMATTI, MARCO ROVERI, AND STEFANO TONETTA TOWARDS PERFORMANCE PREDICTION OF COMPOSITIONAL MODELS IN INDUSTRIAL GALS DESIGNS 204 NICOLAS COSTE, HOLGER HERMANNS, ETIENNE LANTREIBECQ, AND WENDELIN SERWE IMAGE COMPUTATION FOR POLYNOMIAL DYNAMICAL SYSTEMS USING THE BERNSTEIN EXPANSION 219 THAO DANG AND DAVID SALINAS CUTS FROM PROOFS: A COMPLETE AND PRACTICAL TECHNIQUE FOR SOLVING LINEAR INEQUALITIES OVER INTEGERS 233 ISIL DILLIG, THOMAS BILLIG, AND ALEX AIKEN META-ANALYSIS FOR ATOMICITY VIOLATIONS UNDER NESTED LOCKING 248 AZADEH FARZAN, P. MADHUSUDAN, AND FRANCESCO SORRENTINO AN ANTICHAIN ALGORITHM FOR LTL REALIZABILITY 263 EMMANUEL FILIOT, NAIYONG JIN, AND JEAN-FRANGOIS RASKIN ON EXTENDING BOUNDED PROOFS TO INDUCTIVE PROOFS 278 ODED FUHRMANN AND SHLOMO HOORY GAMES THROUGH NESTED FIXPOINTS 291 THOMAS MARTIN GAWLITZA AND HELMUT SEIDL COMPLETE INSTANTIATION FOR QUANTIFIED FORMULAS IN SATISFIABILIBY MODULO THEORIES 306 YETING GE AND LEONARDO DE MOURA IMAGE 3 TABLE OF CONTENTS XIII SOFTWARE TRANSACTIONAL MEMORY ON RELAXED MEMORY MODELS 321 RACHID GUERRAOUI, THOMAS A. HENZINGER, AND VASU SINGH SLIDING WINDOW ABSTRACTION FOR INFINITE MARKOV CHAINS 337 THOMAS A. HENZINGER, MARIA MATEESCU, AND VERENA WOLF CENTAUR TECHNOLOGY MEDIA UNIT VERIFICATION: CASE STUDY: FLOATING-POINT ADDITION 353 WARREN A. HUNT JR. AND SOL SWORDS INCREMENTAL INSTANCE GENERATION IN LOCAL REASONING 368 SWEN JACOBS QUANTIFIER ELIMINATION VIA FUNCTIONAL COMPOSITION 383 JIE-HONG R. JIANG MONOTONIE PARTIAL ORDER REDUCTION: AN OPTIMAL SYMBOLIC PARTIAL ORDER REDUCTION TECHNIQUE 398 VINEET KAHLON, CHAO WANG, AND AARTI GUPTA REPLACING TESTING WITH FORMAL VERIFICATION IN INTEL CORE* I7 PROCESSOR EXECUTION ENGINE VALIDATION 414 ROOPE KAIVOLA, RAJNISH GHUGHAL, NAREN NARASIMHAN, AMBER TELFER, JESSE WHITTEMORE, SUDHINDRA PANDAV, ANNA SLOBODOVD, CHRISTOPHER TAYLOR, VLADIMIR FROLOV, ERIK REEBER, AND ARMAGHAN NAIK GENERATING AND ANALYZING SYMBOLIC TRACES OF SIMULINK/STATEFLOW MODELS 430 ADITYA KANADE, RAJEEV ALUR, FRANJO IVANCIC, S. RAMESH, SRIRAM SANKARANARAYANAN, AND K. C. SHASHIDHAR A MARKOV CHAIN MONTE CARLO SAMPLER FOR MIXED BOOLEAN/INTEGER CONSTRAINTS 446 NATHAN KITCHEN AND ANDREAS KUEHLMANN GENERALIZING DPLL TO RICHER LOGICS 462 KENNETH L. MCMILLAN, ANDREAS KUEHLMANN, AND MOOLY SAGIV REDUCING CONTEXT-BOUNDED CONCURRENT REACHABILITY TO SEQUENTIAL REACHABILITY 477 SALVATORE LA TORRE, P. MADHUSUDAN, AND GENNARO PARLATO INTRA-MODULE INFERENCE 493 SHUVENDU K. LAHIRI, SHAZ QADEER, JUAN P. GALEOTTI, JAN W. VOUNG, AND THOMAS WIES STATIC AND PRECISE DETECTION OF CONCURRENCY ERRORS IN SYSTEMS CODE USING SMT SOLVERS 509 SHUVENDU K. LAHIRI, SHAZ QADEER, AND ZVONIMIR RAKAMARIC IMAGE 4 XIV TABLE OF CONTENTS PREDECESSOR SETS OF DYNAMIC PUSHDOWN NETWORKS WITH TREE-REGULAR CONSTRAINTS 525 PETER LAMMICH, MARKUS MUELLER-OLM, AND ALEXANDER WENNER REACHABILITY ANALYSIS OF HYBRID SYSTEMS USING SUPPORT FUNCTIONS 540 COLAS LE GUERNIC AND ANTOINE GIRARD REDUCING TEST INPUTS USING INFORMATION PARTITIONS 555 RUPAK MAJUMDAR AND RU-GANG XU ON USING FLOATING-POINT COMPUTATIONS TO HELP AN EXACT LINEAR ARITHMETIC DECISION PROCEDURE 570 DAVID MONNIAUX CARDINALITY ABSTRACTION FOR DECLARATIVE NETWORKING APPLICATIONS 584 JUAN ANTONIO NAVARRO PEREZ, AUDREY RYBALCHENKO, AND ATUL SINGH EQUIVALENCE CHECKING OF STATIC AFFINE PROGRAMS USING WIDENING TO HANDLE RECURRENCES 599 SVEN VERDOOLAEGE, GERDA JANSSENS, AND MAURICE BRUYNOOGHE TOOL PAPERS D-FINDER: A TOOL FOR COMPOSITIONAL DEADLOCK DETECTION AND VERIFICATION 614 SADDEK BENSALEM, MARIUS BOZGA, THANH-HUNG NGUYEN, AND JOSEPH SIFAKIS HYBRIDFLUCTUAT: A STATIC ANALYZER OF NUMERICAL PROGRAMS WITHIN A CONTINUOUS ENVIRONMENT 620 OLIVIER BOUISSOU, ERIC GOUBAULT, SYLVIE PUTOT, KARIM TEKKAL, AND FRANCK VEDRINE THE ZONOTOPE ABSTRACT DOMAIN TAYLORL+ 627 KHALIL GHORBAL, ERIC GOUBAULT, AND SYLVIE PUTOT INVGEN: AN EFFICIENT INVARIANT GENERATOR 634 ASHUTOSH GUPTA AND AUDREY RYBALCHENKO INFAMY: AN INFINITE-STATE MARKOV MODEL CHECKER 641 ERNST MORITZ HAHN, HOLGER HERMANNS, BJOERN WAECHTER, AND LIJUN ZHANG BROWSER-BASED ENFORCEMENT OF INTERFACE CONTRACTS IN WEB APPLICATIONS WITH BEEPBEEP 648 SYLVAIN HALLE AND ROGER VILLEMAIRE H O M E R: A H I G H E R - O R D ER O B S E R V A T I O N AL E Q U I V A L E N CE M O D EL C H E C K E R . . . 6 54 DAVID HOPKINS AND C.-H. LUKE ONG IMAGE 5 TABLE OF CONTENTS XV APRON: A LIBRARY OF NUMERICAL ABSTRACT DOMAINS FOR STATIC ANALYSIS 661 BERTRAND JEANNET AND ANTOINE MINE BEAVER: ENGINEERING AN EFFICIENT SMT SOLVER FOR BIT-VECTOR ARITHMETIC 668 SUSMIT JHA, RHISHIKESH LIMAYE, AND SANJIT A. SESHIA CALFUZZER: AN EXTENSIBLE ACTIVE TESTING FRAMEWORK FOR CONCURRENT PROGRAMS 675 PALLAVI JOSHI, MAYUR NAIK, CHANG-SEO PARK, AND KOUSHIK SEN MCMAS: A MODEL CHECKER FOR THE VERIFICATION OF MULTI-AGENT SYSTEMS 682 ALESSIO LOMUSCIO, HONGYANG QU, AND FRANCO RAIMONDI TASS: TIMING ANALYZER OF SCENARIO-BASED SPECIFICATIONS 689 MINXUE PAN, LEI BU, AND XUANDONG LI TRANSLATION VALIDATION: FROM SIMULINK TO C 696 MICHAEL RYABTSEV AND OFER STRICHMAN VS 3 : SMT SOLVERS FOR PROGRAM VERIFICATION 702 SAURABH SRIVASTAVA, SUMIT GULWANI, AND JEFFREY S. FOSTER PAT: TOWARDS FLEXIBLE VERIFICATION UNDER FAIRNESS 709 JUN SUN, YANG LIU, JIN SONG DONG, AND JUN PANG A CONCURRENT PORTFOLIO APPROACH TO SMT SOLVING 715 CHRISTOPH M. WINTER STEIG ER, YOUSSEF HAMADI, AND LEONARDO DE MOURA AUTHOR INDEX 721
any_adam_object	1
building	Verbundindex
bvnumber	BV035636974
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.76.V47
callnumber-search	QA76.76.V47
callnumber-sort	QA 276.76 V47
callnumber-subject	QA - Mathematics
classification_rvk	SS 4800
classification_tum	DAT 325f
ctrlnum	(OCoLC)419645597 (DE-599)DNB994479433
dewey-full	004.21015113 005.12015113 004.24
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science 005 - Computer programming, programs, data, security
dewey-raw	004.21015113 005.12015113 004.24
dewey-search	004.21015113 005.12015113 004.24
dewey-sort	14.21015113
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">BV035636974</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090805</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">090720s2009 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N24,0014</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994479433</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642026577</subfield><subfield code="c">PB. : EUR 86.62 (freier Pr.), sfr 126.00 (freier Pr.)</subfield><subfield code="9">978-3-642-02657-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642026575</subfield><subfield code="9">3-642-02657-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642026577</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)419645597</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994479433</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings</subfield><subfield code="c">Ahmed Bouajjani ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 722 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">5643</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Verifikation - Kongress - Grenoble <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-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">2009</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bouajjani, Ahmed</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">21</subfield><subfield code="d">2009</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16013910-7</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">5643</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5643</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=017691821&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-017691821</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2009 Grenoble gnd-content
genre_facet	Konferenzschrift 2009 Grenoble
id	DE-604.BV035636974
illustrated	Illustrated
indexdate	2025-01-10T15:10:43Z
institution	BVB
institution_GND	(DE-588)16013910-7
isbn	9783642026577 3642026575
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017691821
oclc_num	419645597
open_access_boolean
owner	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
owner_facet	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
physical	XV, 722 S. graph. Darst. 235 mm x 155 mm
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings Ahmed Bouajjani ... (eds.) Berlin ; Heidelberg [u.a.] Springer 2009 XV, 722 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5643 Verifikation - Kongress - Grenoble <2009> Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Grenoble gnd-content Verifikation (DE-588)4135577-5 s DE-604 Bouajjani, Ahmed Sonstige oth CAV 21 2009 Grenoble Sonstige (DE-588)16013910-7 oth Lecture Notes in Computer Science 5643 (DE-604)BV000000607 5643 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017691821&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings Lecture Notes in Computer Science Verifikation - Kongress - Grenoble <2009> Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd
subject_GND	(DE-588)4135577-5 (DE-588)1071861417
title	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
title_auth	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
title_exact_search	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
title_full	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings Ahmed Bouajjani ... (eds.)
title_fullStr	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings Ahmed Bouajjani ... (eds.)
title_full_unstemmed	Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings Ahmed Bouajjani ... (eds.)
title_short	Computer aided verification
title_sort	computer aided verification 21st international conference cav 2009 grenoble france june 26 july 2 2009 proceedings
title_sub	21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
topic	Verifikation - Kongress - Grenoble <2009> Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd
topic_facet	Verifikation - Kongress - Grenoble <2009> Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation Konferenzschrift 2009 Grenoble
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017691821&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT bouajjaniahmed computeraidedverification21stinternationalconferencecav2009grenoblefrancejune26july22009proceedings AT cavgrenoble computeraidedverification21stinternationalconferencecav2009grenoblefrancejune26july22009proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge