KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Tools and Algorithms for the Construction and Analysis of Systems
Band 11429

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Aus der Reihe Theoretical Computer Science and General Issues

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.04.2019

Abbildungen

XXVII, 258 p. 450 illus., 25 illus. in color.

Herausgeber

Dirk Beyer + weitere

Verlag

Springer

Seitenzahl

258

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

19001 Auflage 1st edition 2019

Sprache

Englisch

ISBN

978-3-030-17501-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.04.2019

Abbildungen

XXVII, 258 p. 450 illus., 25 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

258

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

19001 Auflage 1st edition 2019

Sprache

Englisch

ISBN

978-3-030-17501-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Tools and Algorithms for the Construction and Analysis of Systems

  • TOOLympics 2019: An Overview of Competitions in Formal Methods.- Confluence Competion 2019.- International Competition on Runtime Verification (CRV).- The Model Checking Contest (2019).- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models.- The Rewrite Engines Competitions: A RECtrospective.- RERS 2019: Combining Synthesis with Real-World Models.- SL-COMP: Competition of Solvers for Separation Logic.- Automatic Verification of C and Java Programs: SV-COMP 2019.- The Termination and Complexity Competition.- Competition on Software Testing (Test-Comp).- VerifyThis - Verification Competition with a Human Factor.- SV-COMP 2019.- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution).- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution).- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution).- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution).- JayHorn: A Java Model Checker (Competition Contribution).- Java Pathfinder at SV-COMP 2019.- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution).- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution).- Symbolic Pathfinder for SV-COMP.- VeriFuzz: Program Aware Fuzzing.- VIAP 1.1 (Competition Contribution).