Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers: Lecture Notes in Computer Science, cartea 13800
Editat de Akash Lal, Stefano Tonettaen Limba Engleză Paperback – 2 feb 2023
The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1040.03 lei - 20%
Preț: 333.46 lei - 20%
Preț: 335.08 lei - 20%
Preț: 567.60 lei - 20%
Preț: 238.01 lei - 15%
Preț: 568.74 lei - 20%
Preț: 333.46 lei - 20%
Preț: 438.69 lei -
Preț: 373.56 lei - 20%
Preț: 336.71 lei - 20%
Preț: 148.66 lei - 20%
Preț: 310.26 lei - 20%
Preț: 632.22 lei - 20%
Preț: 747.79 lei - 20%
Preț: 1053.45 lei - 17%
Preț: 427.22 lei - 20%
Preț: 641.78 lei - 20%
Preț: 307.71 lei - 20%
Preț: 809.19 lei - 20%
Preț: 579.56 lei - 20%
Preț: 649.49 lei - 20%
Preț: 330.23 lei -
Preț: 389.48 lei - 20%
Preț: 607.39 lei - 20%
Preț: 538.29 lei - 20%
Preț: 1003.66 lei - 20%
Preț: 326.98 lei - 20%
Preț: 256.27 lei - 20%
Preț: 444.17 lei - 20%
Preț: 571.63 lei - 20%
Preț: 575.48 lei - 20%
Preț: 574.05 lei - 17%
Preț: 360.19 lei - 20%
Preț: 504.57 lei - 20%
Preț: 172.69 lei - 20%
Preț: 369.12 lei - 20%
Preț: 346.40 lei - 20%
Preț: 747.79 lei -
Preț: 402.62 lei - 20%
Preț: 584.40 lei - 20%
Preț: 569.19 lei - 20%
Preț: 1159.14 lei - 20%
Preț: 1386.07 lei - 20%
Preț: 343.16 lei - 20%
Preț: 309.90 lei - 20%
Preț: 122.89 lei
Preț: 320.06 lei
Preț vechi: 400.08 lei
-20% Nou
Puncte Express: 480
Preț estimativ în valută:
61.26€ • 64.27$ • 50.82£
61.26€ • 64.27$ • 50.82£
Carte tipărită la comandă
Livrare economică 29 ianuarie-12 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031258022
ISBN-10: 3031258029
Pagini: 167
Ilustrații: VIII, 167 p. 215 illus., 20 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.26 kg
Ediția:1st ed. 2023
Editura: Springer International Publishing
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031258029
Pagini: 167
Ilustrații: VIII, 167 p. 215 illus., 20 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.26 kg
Ediția:1st ed. 2023
Editura: Springer International Publishing
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Compositional Safety LTL Synthesis.- Leroy and Blazy were right: their memory model soundness proof is automatable.- Shellac: a compiler synthesizer for concurrent programs.- A sequentialization procedure for fault-tolerant protocols.- Towards Practical Partial Order Reduction for High-Level Formalisms.- SMT-based Verification of Persistency Invariants of Px86 Programs.- A Formal Semantics for P-Code.- Separating Separation Logic - Modular Verification of Red-Black Trees.- Residual Runtime Verification via Reachability Analysis.