Runtime Verification
Editat de Saddek Bensalem, Doron A. Peleden Limba Engleză Paperback – 23 sep 2009
Preț: 317.66 lei
Preț vechi: 397.08 lei
-20%
Puncte Express: 476
Preț estimativ în valută:
56.17€ • 64.41$ • 48.55£
56.17€ • 64.41$ • 48.55£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783642046933
ISBN-10: 3642046932
Pagini: 212
Ilustrații: VII, 203 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:2009
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642046932
Pagini: 212
Ilustrații: VII, 203 p.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:2009
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-20%Preț: 588.91 lei736.14 lei -
-23%Preț: 678.19 lei880.76 lei -
Liars and OutliersBruce Schneier-20%Preț: 101.32 lei126.65 lei -
-20%Preț: 391.77 lei489.72 lei -
-20%Preț: 793.92 lei992.40 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 639.25 lei799.07 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 331.62 lei414.53 lei -
-20%Preț: 314.22 lei392.77 lei -
-20%Preț: 328.16 lei410.20 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 329.74 lei412.17 lei -
-20%Preț: 324.19 lei405.23 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
Public țintă
ResearchCuprins
Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode – Its Construction and Evaluation.- Runtime Verification of Safety-Progress Properties.- Monitor Circuits for LTL with Bounded and Unbounded Future.- State Joining and Splitting for the Symbolic Execution of Binaries.- The LIME Interface Specification Language and Runtime Monitoring Tool.- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.- Runtime Verification of C Memory Safety.- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.- Hardware Supported Flexible Monitoring: Early Results.- DMaC: Distributed Monitoring and Checking.