Runtime Verification Image close
Runtime Verification
Runtime Verification
Show Hide Adult Content
Runtime Verification close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Runtime Verification

5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$153.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.25 with Afterpay Learn more

6 weekly interest-free payments of $25.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Verified Software: Theorie, Tools, Experiments
$153.00
Verified Software: Theorie, Tools, Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$193.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Agile Processes in Software Engineering and Extreme Programming
$150.00
Agile Processes in Software Engineering and Extreme Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$151.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering
$153.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Practice of Model Transformations
$150.00
Theory and Practice of Model Transformations
Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Foundations and Applications
$150.00
Modelling Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems
$149.00
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
FM 2016: Formal Methods
$167.00
FM 2016: Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$156.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Reliable Software Technologies – Ada-Europe 2016
$149.00
Reliable Software Technologies – Ada-Europe 2016
Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Software Engineering
$152.00
Fundamentals of Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$154.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Generative and Transformational Techniques in Software Engineering IV
$155.00
Generative and Transformational Techniques in Software Engineering IV
Paperback / softback
Available - Usually ships in 3-4 weeks
Principles and Practice of Constraint Programming
$151.00
Principles and Practice of Constraint Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.
Release date NZ
September 23rd, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Borzoo Bonakdarpour
  • Edited by Scott A. Smolka
Illustrations
82 Illustrations, black and white; XVIII, 358 p. 82 illus.
Pages
358
Dimensions
155x235x20
ISBN-13
9783319111636
Product ID
22679992

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation