A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking - Image 1

£82.00

Südwestdeutscher Verlag für Hochschulschriften A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking

Computing & Internet

Price data last checked 48 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 43 days • 43 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 43 days • 1 price levels

Days at Price

Price Analysis

Most common price: £82 (43 days, 100.0%)

Price range: £82 - £82

Price levels: 1 different prices over 43 days

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 3838130642
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 20 January 2012
Listed Since: 22 January 2012

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems

Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies

Runtime adaptation of technical systems: An architectural framework for self-configuration and self-improvement at runtime

Transient Faults in Quasi Delay-Insensitive Logic: Effects and Mitigation

Some Asymptotic Properties of Stochastic Flows: Isotropic Brownian Flows and beyond

Satisfiability: From Core Algorithms to Novel Application Domains

Collection-Oriented Programming: A Collection-Oriented Application Framework for Mobile Information Systems

Mining and Checking Object Behavior: Efficient Mining of Object Behavior Models

Using Weighted Constraints To Build Tutoring Systems: A Study Case in Logic Programming

Time-Constrained Web Services for Industrial Automation

Weak System Models for Distributed Agreement Problems: Algorithms and Lower Bounds

Using Search Term Positions for Determining Document Relevance

Metastability in Stochastic Dynamics: Contributions to the Potential Theoretic Approach

Decentralized Establishment of Consistent, Multilateral Collaborations: A formal model and its application in the Web Service domain

A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic

Integrated Management Framework for Dynamic Virtual Organisations: Concepts and their Application in the Data Centre

Content Extraction: Identifying the Main Content in HTML Documents

Voice Modeling Methods: for Automatic Speaker Recognition

Scalable Analytical Query Processing

Interactive High Performance Volume Rendering

New Aspects of Flavour Model Building: in Supersymmetric Grand Unification

Die Wirksamkeit hochschuldidaktischer Weiterbildung: Evaluation der Veränderung von Lehrkonzeptionen