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
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 891.53 lei1087.23 lei -
-18%Preț: 696.47 lei849.35 lei -
Linear and Non-Linear System TheoryT Thyagarajan-18%Preț: 1271.94 lei1551.15 lei -
-18%Preț: 892.75 lei1088.72 lei -
-18%Preț: 891.97 lei1087.78 lei -
-18%Preț: 884.86 lei1079.10 lei -
Optimal Networked Control Systems with MATLABJagannathan Sarangapani-15%Preț: 586.92 lei690.50 lei -
Preț: 460.61 lei -
Preț: 463.10 lei -
Computer-aided Nonlinear Control System DesignAmir Nassirharand-15%Preț: 614.19 lei722.58 lei -
Industrial Robotics ControlFabrizio FrigeniPreț: 271.12 lei -
Control SystemsD. Sundararajan-15%Preț: 393.47 lei462.90 lei -
Closed Loop Control and ManagementSerge Zacher-15%Preț: 428.26 lei503.83 lei -
-18%Preț: 1078.31 lei1315.01 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.