Runtime Verification 6th International Conference Rv 2015 Vienna Austr - Springer Nature B.V - Paperback - English Book

€74.00
+ €18.99 Shipping

Runtime Verification 6th International Conference Rv 2015 Vienna Austr - Springer Nature B.V - Paperback - English Book

Sold by:

Runtime Verification 6th International Conference Rv 2015 Vienna Austr - Springer Nature B.V - Paperback - English Book

€74.00

In stock
+ €18.99 Shipping

14-Day Returns Policy

Sold by:

€74.00

In stock
+ €18.99 Shipping

14-Day Returns Policy

Payment methods:

Description

Runtime Verification 6th International Conference Rv 2015 Vienna Austr - Springer Nature B.V - Paperback - English Book

This Book Constitutes The Refereed Proceedings Of The 6th International Conference On Runtime Verification, Rv 2015, Held In Vienna, Austria, In September 2015. The 15 Revised Full Papers Presented Together With 4 Short Papers, 2 Tool Papers, 4 Tutorials, 3 Invited Talks, And 2 Software Competition Papers Were Carefully Reviewed And Selected From 45 Submissions.the Discussion Of The Conference Centers Around Two Main Aspects. The First Is To Understand Wether The Runtime Verification Techniques Can Practically Complement The Traditional Methods Proving Programs Correct Before Their Execution, Such As Model Checking And Theorem Proving.
  • Fruugo ID: 469773006-983727933
  • ISBN: 9783319238197

Delivery & Returns

Dispatched within 24 hours

  • STANDARD: €18.99 - Delivery between Mon 30 March 2026–Thu 02 April 2026

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy