Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers: Lecture Notes in Computer Science, cartea 5779
Editat de Saddek Bensalem, Doron A. Peleden Limba Engleză Paperback – 23 sep 2009
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 556.96 lei - 20%
Preț: 400.77 lei - 15%
Preț: 558.12 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 620.33 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 984.64 lei - 20%
Preț: 560.93 lei - 20%
Preț: 731.97 lei - 20%
Preț: 563.29 lei - 20%
Preț: 403.00 lei - 20%
Preț: 793.92 lei - 20%
Preț: 324.19 lei - 20%
Preț: 733.68 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 316.28 lei
Preț vechi: 395.35 lei
-20%
Puncte Express: 474
Preț estimativ în valută:
55.93€ • 66.32$ • 48.70£
55.93€ • 66.32$ • 48.70£
Carte tipărită la comandă
Livrare economică 30 martie-13 aprilie
Specificații
ISBN-13: 9783642046933
ISBN-10: 3642046932
Pagini: 201
Ilustrații: VII, 203 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.32 kg
Ediția:2009
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: 3642046932
Pagini: 201
Ilustrații: VII, 203 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.32 kg
Ediția:2009
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
-
Principles of Concurrent and Distributed ProgrammingMordechai Ben-Ari-13%Preț: 597.12 lei686.35 lei -
-23%Preț: 677.50 lei879.87 lei -
Liars and OutliersBruce Schneier-20%Preț: 101.30 lei126.62 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.