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

A Bedtime for Bear
Becker, Bonny
Paperback: $6.99
Girl in Pieces
Glasgow, Kathleen
Hardback: $18.99
The Pigeon Tunnel
Le Carré, John
Hardback: $28.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.