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


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.
Publication Date:Aug 2013
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
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





Loading Stock Details...

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

Aurelius, Marcus
Paperback: $8.65
Love Warrior
Melton, Glennon Doyle
Electronic book text:
Girl in Pieces
Glasgow, Kathleen
Hardback: $18.99

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.