Shoplex Store

Location:

Home » Runtime Verification

Shoplex Store: Runtime Verification

Showing items 1-10 of 24

« Previous 1 2 3 Next »

enlarge
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... / Programming and Software Engineering)
- Author:
- Klaus Havelund
- Buy New: $41.99
- as of 2/13/2012 23:50 PST details
In Stock

New (6) Used (9) from $2.76

enlarge
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
- Author:
- Martin Leucker
- Buy New: $64.64
- as of 2/13/2012 23:50 PST details
In Stock

New (5) Used (3) from $52.90

enlarge
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
- Author:
- Saddek Bensalem
- Buy New: $48.70
- as of 2/13/2012 23:50 PST details
In Stock

New (16) Used (6) from $48.70

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
- Author:
- Georgios Logothetis
- Buy New: $87.89
- as of 2/13/2012 23:50 PST details
In Stock

New (4) Used (2) from $87.89

enlarge
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
- Authors:
- Shmuel Ur
- Eyal Bin
- Yaron Wolfsthal
In Stock

enlarge
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
- Author:
- Klaus Havelund
In Stock

enlarge
Post-Silicon and Runtime Verification for Modern Processors
- Authors:
- Ilya Wagner
- Valeria Bertacco
- Buy New: $115.02
- as of 2/13/2012 23:50 PST details
In Stock

New (17) Used (10) from $102.46

enlarge
A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic
- Author:
- May Haydar
- Buy New: $85.77
- as of 2/13/2012 23:50 PST details
In Stock

New (9) Used (3) from $85.77

enlarge
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
- Author:
- Oleg Sokolsky
- Buy New: $0.01
- as of 2/13/2012 23:50 PST details
In Stock

New (5) Used (4) from $0.01

enlarge
Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem
- Author:
- Eslam Al Maghayreh
- Buy New: $62.89
- as of 2/13/2012 23:50 PST details
In Stock

New (7) Used (2) from $60.14

Showing items 1-10 of 24

« Previous 1 2 3 Next »

CERTAIN CONTENT THAT APPEARS ON THIS SITE COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED ‘AS IS’ AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME.

Powered by shoplex.net

Categories