Model Checking Software: Lecture Notes in Computer Science, cartea 14624
Editat de Thomas Neele, Anton Wijsen Limba Engleză Paperback – 13 oct 2024
The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 375.29 lei
Puncte Express: 563
Preț estimativ în valută:
66.36€ • 76.69$ • 57.33£
66.36€ • 76.69$ • 57.33£
Carte tipărită la comandă
Livrare economică 04-18 mai
Specificații
ISBN-13: 9783031661488
ISBN-10: 3031661486
Pagini: 284
Ilustrații: Approx. 260 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031661486
Pagini: 284
Ilustrații: Approx. 260 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Principles of Model CheckingChristel Baier-22%Preț: 709.58 lei914.23 lei -
-20%Preț: 588.91 lei736.14 lei -
-40%Preț: 369.43 lei616.13 lei -
Foundations of Software Science and Computation StructuresNaoki Kobayashi-20%Preț: 294.13 lei367.67 lei -
-20%Preț: 1107.82 lei1384.78 lei -
Reversible ComputationTorben Ægidius Mogensen-20%Preț: 621.86 lei777.32 lei -
TOOLympics Challenge 2023Dirk Beyer-20%Preț: 315.26 lei394.08 lei -
Symbolic Computation in Software ScienceStephen M. Watt-20%Preț: 669.31 lei836.64 lei -
-20%Preț: 391.93 lei489.91 lei -
Bridging the Gap Between AI and RealityBernhard Steffen-20%Preț: 274.29 lei342.87 lei -
Handbook of Model CheckingRoderick Bloem-20%Preț: 1011.51 lei1264.39 lei -
-20%Preț: 793.92 lei992.40 lei -
-20%Preț: 639.25 lei799.07 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 321.81 lei402.26 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 326.55 lei408.19 lei -
Formal Methods and Software EngineeringShengchao Qin-20%Preț: 346.16 lei432.71 lei -
-20%Preț: 329.74 lei412.17 lei -
Challenges of Software VerificationVincenzo Arceri-18%Preț: 880.32 lei1073.56 lei
Cuprins
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight.- MoXI: An Intermediate Language for Symbolic Model Checking. Model Checking: Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking.- A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. Anniversary: Two Decades of Industrializing Formal Verification: The Reactis Story.- Automated Reasoning in Quantum Circuit Compilation. Automated Reasoning: Random Access on Narrow Decision Diagrams in External Memory.- Solving Constrained Horn Clauses as C Programs with CHC2C. Verification Tools: Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study.- Tolerange: Quantifying Fault Masking in Stochastic Systems.- Software Verification Witnesses 2.0.- Fault Localization on Verification Witnesses. Software Verification: Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.- Test-Case Generation with Automata-based Software Model Checking.