Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I: Lecture Notes in Computer Science, cartea 14499
Editat de Rayna Dimitrova, Ori Lahav, Sebastian Wolffen Limba Engleză Paperback – 3 ian 2024
Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;
Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (2) | 486.79 lei 6-8 săpt. | |
| Springer Nature Switzerland – 3 ian 2024 | 486.79 lei 6-8 săpt. | |
| Springer Nature Switzerland – 3 ian 2024 | 487.46 lei 6-8 săpt. |
Din seria Lecture Notes in Computer Science
- 20%
Preț: 323.37 lei - 20%
Preț: 461.65 lei - 20%
Preț: 461.32 lei - 20%
Preț: 390.69 lei - 20%
Preț: 527.36 lei - 15%
Preț: 388.50 lei - 20%
Preț: 461.52 lei - 20%
Preț: 390.35 lei - 20%
Preț: 496.64 lei - 20%
Preț: 461.52 lei - 20%
Preț: 389.72 lei - 15%
Preț: 461.85 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 252.15 lei - 20%
Preț: 391.14 lei - 20%
Preț: 532.54 lei - 20%
Preț: 461.83 lei - 20%
Preț: 255.91 lei - 20%
Preț: 498.46 lei - 20%
Preț: 497.55 lei - 20%
Preț: 499.36 lei - 20%
Preț: 390.12 lei - 20%
Preț: 391.20 lei - 20%
Preț: 532.41 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 390.94 lei - 20%
Preț: 391.86 lei - 20%
Preț: 389.85 lei - 20%
Preț: 498.32 lei - 20%
Preț: 462.67 lei - 20%
Preț: 460.98 lei - 20%
Preț: 424.26 lei - 20%
Preț: 639.72 lei - 15%
Preț: 535.92 lei - 20%
Preț: 532.28 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 461.57 lei - 20%
Preț: 498.50 lei - 20%
Preț: 461.83 lei - 20%
Preț: 249.95 lei
Preț: 487.46 lei
Preț vechi: 609.32 lei
-20% Nou
Puncte Express: 731
Preț estimativ în valută:
86.26€ • 101.15$ • 75.75£
86.26€ • 101.15$ • 75.75£
Carte tipărită la comandă
Livrare economică 06-20 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031505232
ISBN-10: 3031505239
Ilustrații: XVIII, 352 p. 81 illus., 51 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.52 kg
Ediția:1st ed. 2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031505239
Ilustrații: XVIII, 352 p. 81 illus., 51 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.52 kg
Ediția:1st ed. 2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Abstract Interpretation.- Formal Runtime Error Detection During Development in the Automotive Industry.- Abstract Interpretation-Based Feature Importance for Support Vector Machines.- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.- Correctness Witness Validation by Abstract Interpretation.- Infinite-State Systems.- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.- Parameterized Verification of Disjunctive Timed Networks.- Resilience and Home-Space for WSTS.- Model Checking and Synthesis.- Generic Model Checking for Modal Fixpoint Logics in COOL-MC.- Model-Guided Synthesis for LTL over Finite Traces.- Solving Two-Player Games under Progress Assumptions.- AT, SMT, and Automated Reasoning Interpolation and Quantifiers in Ortholattices.- Function Synthesis for Maximizing Model Counting.- Boosting Constrained Horn Solving by Unsat Core Learning.- On the Verification of a Subgraph Construction Algorithm.- Efficient Local Search for Nonlinear Real Arithmetic.