About this item
Book Synopsis Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.
- Features
- Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.
- Author(s): Howard Barringer & Ylies Falcone & Bernd Finkbeiner & Klaus Havelund & Insup Lee & Gordon Pace & Grigore Rosu & Oleg Sokolsky & Nikolai Tillmann
- 492 Pages
- Computers, Software Development & Engineering
Specifications
- Dimensions (Overall)
9.3 Inches (H) x 6.1 Inches (W) x 1.1 Inches (D)
- Weight
1.67 Pounds
- Suggested Age
22 Years and Up
- Number of Pages
492
- Genre
Computers
- Sub-Genre
Software Development & Engineering
- Publisher
Springer
- Theme
General
- Format
Paperback
- Author
Howard Barringer & Ylies Falcone & Bernd Finkbeiner & Klaus Havelund & Insup Lee & Gordon Pace & Grigore Rosu & Oleg Sokolsky & Nikolai Tillmann
- Language
English
Product photos are for illustrative purposes only and are exemplary. The colors, inscriptions, parameters, dimensions, sizes, functions, and/or any other features of the original products may look different than in reality due to their visual characteristics, so please refer to the product features that are indicated in the product descriptions.