Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Runtime Verification

Runtime Verification

4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Runtime Verification( )
Editor: Legay, Axel
Bensalem, Saddek
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-642-40786-4
Publication Date:Aug 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $95.00
Book Description:

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques;...
More Description

Book Details
Pages:426
Detailed Subjects: Computers / Software Development & Engineering / Quality Assurance & Testing
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.351 Inches
Book Weight:1.487 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

The Age of Innocence
Wharton, Edith
Paperback: $11.50
The Mothers
Bennett, Brit
Hardback: $26.00
The End of College
Carey, Kevin
Hardback: $27.95

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.