Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6217
Editat de Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamanien Limba Engleză Paperback – 5 aug 2010
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ț: 318.67 lei
Preț vechi: 398.33 lei
-20%
Puncte Express: 478
Preț estimativ în valută:
56.35€ • 64.63$ • 48.72£
56.35€ • 64.63$ • 48.72£
Carte disponibilă
Livrare economică 08-22 aprilie
Specificații
ISBN-13: 9783642150562
ISBN-10: 364215056X
Pagini: 217
Ilustrații: X, 217 p. 68 illus.
Greutate: 0.39 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 364215056X
Pagini: 217
Ilustrații: X, 217 p. 68 illus.
Greutate: 0.39 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-20%Preț: 588.91 lei736.14 lei -
Computer Architecture: A Quantitative ApproachJohn L. Hennessy-40%Preț: 502.23 lei842.78 lei -
-23%Preț: 678.28 lei880.87 lei -
-20%Preț: 391.93 lei489.91 lei -
-20%Preț: 793.92 lei992.40 lei -
-20%Preț: 316.28 lei395.35 lei -
-20%Preț: 632.89 lei791.11 lei -
-20%Preț: 639.25 lei799.07 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 641.45 lei801.81 lei -
-20%Preț: 329.60 lei412.00 lei -
-20%Preț: 314.22 lei392.77 lei -
-20%Preț: 316.28 lei395.35 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 323.41 lei404.26 lei -
-20%Preț: 329.74 lei412.17 lei -
Challenges of Software VerificationVincenzo Arceri-18%Preț: 880.32 lei1073.56 lei -
.NET 10 RevealedKajetan Duszy¿ski-20%Preț: 231.42 lei289.28 lei
Public țintă
Professional/practitionerCuprins
Invited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.- Verification of Low-Level Code.- A Rely-Guarantee Proof System for x86-TSO.- Pervasive Verification of an OS Microkernel.- Invited Talk.- The L4.verified Project — Next Steps.- Requirements and Specifications.- An Approach of Requirements Tracing in Formal Refinement.- Dafny Meets the Verification Benchmarks Challenge.- Specifying Reusable Components.- Verification Techniques.- Reusable Verification of a Copying Collector.- To Goto Where No Statement Has Gone Before.- Invited Talk.- The Next 700 Separation Logics.- Locality in Reasoning.- Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients.- Abstraction and Refinement for Local Reasoning.
Caracteristici
Fast track conference proceeding Unique visibility State of the art research