Model Checking Software: Lecture Notes in Computer Science, cartea 13872
Editat de Georgiana Caltais, Christian Schillingen Limba Engleză Paperback – 2 mai 2023
The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
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ț: 403.00 lei
Puncte Express: 605
Preț estimativ în valută:
71.26€ • 82.35$ • 61.56£
71.26€ • 82.35$ • 61.56£
Carte tipărită la comandă
Livrare economică 04-18 mai
Specificații
ISBN-13: 9783031321566
ISBN-10: 3031321561
Pagini: 212
Ilustrații: X, 199 p. 50 illus., 24 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:1st edition 2023
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031321561
Pagini: 212
Ilustrații: X, 199 p. 50 illus., 24 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:1st edition 2023
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
-18%Preț: 890.70 lei1086.21 lei -
-18%Preț: 696.47 lei849.35 lei -
Linear and Non-Linear System TheoryT Thyagarajan-18%Preț: 1259.79 lei1536.33 lei -
-18%Preț: 883.72 lei1077.70 lei -
-18%Preț: 889.80 lei1085.11 lei -
-18%Preț: 884.48 lei1078.63 lei -
Optimal Networked Control Systems with MATLABJagannathan Sarangapani-15%Preț: 580.54 lei682.99 lei -
Preț: 455.81 lei -
Preț: 457.20 lei -
-15%Preț: 610.63 lei718.39 lei -
Industrial Robotics ControlFabrizio FrigeniPreț: 266.73 lei -
Control Systems: An IntroductionDr. D. Sundararajan-15%Preț: 392.71 lei462.00 lei -
Closed Loop Control and ManagementSerge Zacher-15%Preț: 428.26 lei503.83 lei -
-18%Preț: 1067.38 lei1301.67 lei -
-18%Preț: 749.08 lei913.52 lei -
-18%Preț: 930.30 lei1134.52 lei -
-15%Preț: 512.22 lei602.61 lei -
Die Messung hoher TemperaturenG.K. BurgessPreț: 416.96 lei -
Preț: 398.30 lei -
-15%Preț: 476.31 lei560.36 lei -
Preț: 411.79 lei -
Einführung in die Viskosimetrie und RheometrieHans Umstätter-15%Preț: 474.13 lei557.80 lei -
Preț: 396.25 lei -
Optimierung technischer Produkte und ProzesseHorst AhlersPreț: 267.70 lei -
-18%Preț: 688.58 lei839.73 lei
Cuprins
Binary Decision Diagrams.- Efficient Implementation of LIMDDs for Quantum Circuit\ Simulation.- ParaGnosis: A Tool for Parallel Knowledge Compilation.- Concurrency.- Model Checking Futexes.- Sound Concurrent Traces for Online Monitoring.- Testing.- Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks.- Accelerating black box testing with light-weight learning.- Synthesis.- WikiCoder: Learning to Write Knowledge-Powered Code.- Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.- Explicit-state Model Checking.- Elimination of Detached Regions in Dependency Graph Verification.- Potency-Based Heuristic Search with Randomness for Explicit Model Checking.- GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.