Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

Home Academy - 20% Rabatt auf Online-Kurs "Alles über Zucker"

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 112295515

Buch 54.99 €
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 112295515

Buch 54.99 €
In den Warenkorb
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Computer and Information Sciences - ISCIS 2005

Computer and Information Sciences - ISCIS 2005

0 Sterne
Buch

164.99 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Computer and Information Sciences - ISCIS 2004

Computer and Information Sciences - ISCIS 2004

0 Sterne
Buch

186.99 €

In den Warenkorb
Erschienen am 14.10.2004
lieferbar
Computer and Information Sciences -- ISCIS 2003

Computer and Information Sciences -- ISCIS 2003

0 Sterne
Buch

142.99 €

In den Warenkorb
Erschienen am 14.10.2003
lieferbar
Computational Science - ICCS 2001

Computational Science - ICCS 2001

0 Sterne
Buch

142.99 €

In den Warenkorb
Erschienen am 24.05.2001
lieferbar
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

0 Sterne
Buch

54.99 €

Vorbestellen
Erschienen am 14.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

54.99 €

In den Warenkorb
Erschienen am 04.04.2019
lieferbar
EurAsia-ICT 2002: Information and Communication Technology

EurAsia-ICT 2002: Information and Communication Technology

0 Sterne
Buch

164.99 €

In den Warenkorb
Erschienen am 09.10.2002
lieferbar
Principles of Security and Trust

Principles of Security and Trust

0 Sterne
Buch

54.99 €

In den Warenkorb
Erschienen am 03.04.2019
lieferbar
Ansible

Ansible

Michael Heap

0 Sterne
Buch

36.29 €

In den Warenkorb
lieferbar
Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming

0 Sterne
Buch

107.79 €

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Computational Science - ICCS 2006

Computational Science - ICCS 2006

0 Sterne
Buch

175.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Computational Science and Its Applications - ICCSA 2007 /2

Computational Science and Its Applications - ICCSA 2007 /2

0 Sterne
Buch

197.99 €

In den Warenkorb
Erschienen am 13.08.2007
lieferbar
Computational Science - ICCS 2006

Computational Science - ICCS 2006

0 Sterne
Buch

175.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Computational Science - ICCS 2006 /2

Computational Science - ICCS 2006 /2

0 Sterne
Buch

175.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Computational Science - ICCS 2006

Computational Science - ICCS 2006

0 Sterne
Buch

153.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Advanced Information Systems Engineering

Advanced Information Systems Engineering

0 Sterne
Buch

95.69 €

In den Warenkorb
lieferbar
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

0 Sterne
Buch

87.99 €

In den Warenkorb
Erschienen am 15.06.2017
lieferbar
Internet of Things (IoT) Technologies for HealthCare

Internet of Things (IoT) Technologies for HealthCare

0 Sterne
Buch

46.20 €

In den Warenkorb
Erschienen am 30.03.2018
lieferbar
Produktdetails
Produktinformationen zu „Tools and Algorithms for the Construction and Analysis of Systems “
Klappentext zu „Tools and Algorithms for the Construction and Analysis of Systems “
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
Inhaltsverzeichnis zu „Tools and Algorithms for the Construction and Analysis of Systems “
SAT and SMT.- Decomposing Farkas Interpolants.- Parallel SAT Simplification on GPU Architectures.- Encoding Redundancy for Satisfaction-Driven Clause Learning.- WAPS: Weighted and Projected Sampling.- Building Better Bit-Blasting for Floating-Point Problems.- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition.- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.- SAT Solving and Theorem Proving.- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks.- Incremental Analysis of Evolving Alloy Models.- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic.- Verification and Analysis LCV: A Verification Tool for Linear Controller Software.- Semantic Fault Localization and Suspiciousness Ranking.- Computing Coupled Similarity.- Reachability Analysis for Termination and Confluence of Rewriting.- Model Checking.- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis.- On Reachability in Parameterized Phaser Programs.- Abstract Dependency Graphs and Their Application to Model Checking.- Tool Demo.- nonreach - A Tool for Nonreachability Analysis.- The Quantitative Verification Benchmark Set.- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions.- MetAcsl: Specification and Verification of High-Level Properties.- ROLL 1.0: !-Regular Language Learning Library.- Symbolic Regex Matcher.- COMPASS 3.0.- Debugging of Behavioural Models with CLEAR.- Machine Learning.- Omega-Regular Objectives in Model-Free Reinforcement Learning.- Verifiably Safe Off-Model Reinforcement Learning.  
Bibliographische Angaben

  • 2019, 1st ed., xxiii, 433 Seiten, 90 Schwarz-Weiß-Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Verlag: Springer
  • ISBN-10: 3030174611
  • ISBN-13: 9783030174613
  • Erscheinungsdatum: 04.04.2019

Sprache:
Englisch
Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems".

Kommentar verfassen
Andere Kunden kauften auch
Computer and Information Sciences - ISCIS 2005

Computer and Information Sciences - ISCIS 2005

0 Sterne
Buch

164.99 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Computer and Information Sciences - ISCIS 2004

Computer and Information Sciences - ISCIS 2004

0 Sterne
Buch

186.99 €

In den Warenkorb
Erschienen am 14.10.2004
lieferbar
Computer and Information Sciences -- ISCIS 2003

Computer and Information Sciences -- ISCIS 2003

0 Sterne
Buch

142.99 €

In den Warenkorb
Erschienen am 14.10.2003
lieferbar
Computational Science - ICCS 2001

Computational Science - ICCS 2001

0 Sterne
Buch

142.99 €

In den Warenkorb
Erschienen am 24.05.2001
lieferbar
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

0 Sterne
Buch

54.99 €

Vorbestellen
Erschienen am 14.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

54.99 €

In den Warenkorb
Erschienen am 04.04.2019
lieferbar
EurAsia-ICT 2002: Information and Communication Technology

EurAsia-ICT 2002: Information and Communication Technology

0 Sterne
Buch

164.99 €

In den Warenkorb
Erschienen am 09.10.2002
lieferbar
Principles of Security and Trust

Principles of Security and Trust

0 Sterne
Buch

54.99 €

In den Warenkorb
Erschienen am 03.04.2019
lieferbar
Ansible

Ansible

Michael Heap

0 Sterne
Buch

36.29 €

In den Warenkorb
lieferbar
Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming

0 Sterne
Buch

107.79 €

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Computational Science - ICCS 2006

Computational Science - ICCS 2006

0 Sterne
Buch

175.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Computational Science and Its Applications - ICCSA 2007 /2

Computational Science and Its Applications - ICCSA 2007 /2

0 Sterne
Buch

197.99 €

In den Warenkorb
Erschienen am 13.08.2007
lieferbar
Computational Science - ICCS 2006

Computational Science - ICCS 2006

0 Sterne
Buch

175.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Computational Science - ICCS 2006 /2

Computational Science - ICCS 2006 /2

0 Sterne
Buch

175.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Computational Science - ICCS 2006

Computational Science - ICCS 2006

0 Sterne
Buch

153.99 €

In den Warenkorb
Erschienen am 26.05.2006
lieferbar
Advanced Information Systems Engineering

Advanced Information Systems Engineering

0 Sterne
Buch

95.69 €

In den Warenkorb
lieferbar
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

0 Sterne
Buch

87.99 €

In den Warenkorb
Erschienen am 15.06.2017
lieferbar
Internet of Things (IoT) Technologies for HealthCare

Internet of Things (IoT) Technologies for HealthCare

0 Sterne
Buch

46.20 €

In den Warenkorb
Erschienen am 30.03.2018
lieferbar
Weitere Empfehlungen zu „Tools and Algorithms for the Construction and Analysis of Systems “
Weitere Artikel zum Thema
Sie sind aus Deutschland? Tools and Algorithms for the Construction and Analysis of Systems bei Weltbild.de kaufen.
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich