Cantitate/Preț
Produs
Total produse
Vezi coșul
Tools and Algorithms for the Construction and Analysis of Systems de Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems: Lecture Notes in Computer Science, cartea 11429

Editat de Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
en Limba Engleză Paperback – 4 apr 2019
This book is Open Access under a CC BY licence.
This book, LNCS 11429, is part III of 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. It's a special volume on the occasion of the 25 year anniversary of TACAS.



Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32140 lei

Preț vechi: 40175 lei
-20%

Puncte Express: 482

Carte disponibilă

Livrare economică 18 august-01 septembrie
Livrare express 04-08 august pentru 3227 lei

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030175016
ISBN-10: 3030175014
Pagini: 288
Ilustrații: XXVII, 258 p. 450 illus., 25 illus. in color.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:1st ed. 2019
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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).

Textul de pe ultima copertă

This book is Open Access under a CC BY licence.