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

£59.00

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

Name: A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic
Brand: VDM Verlag
Price: 59.0 GBP
Availability: InStock

Computing & Internet

It has never been this cheap. We have no record of a lower price.

£59 today · cheaper than every other day in the last 24 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 634 days • 1 price levels

Days at Price

Price Analysis

Most common price: £59 (634 days, 100.0%)

Price range: £59 - £59

Price levels: 1 different prices over 634 days

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639189434
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 08 September 2009
Listed Since: 08 September 2009

Barcode

No barcode data available

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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Software Verification and Validation for Practitioners and Managers, Second Edition

Testware Support: Addressing Test Elements and Supporting a Benchmarking Framework in Aspect- Oriented Software Assessment

A Framework and Methodology for Managing Quality of Web Services

Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle

Attribute-Level Versioning: A Relational Mechanism for Version Storage and Retrieval

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

Time-Constrained Web Services for Industrial Automation

Validation of Data Flow Results for Program Modules

Testing and Verifying Web Services

Specification and Collaboration Driven Software Component Selection- Building a Framework for Component Selection

Using Similarity Patterns in Developing Web Applications: An Approach to Enhance Reuse and Maintainability

Model-checking infinite state systems for information flow security

Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Observations on Reusability, Frameworks and Testing: Process and Metric Models

Ökonomische Erfolgspotenziale von Web 2.0: Evaluation der Tragfähigkeit von Web 2.0-Unternehmen in Deutschland

Semiotic Analysis of Electronic Mathematical Texts: Semiotics of Web Based Mathematics

Enabling Formal Model-Driven Development with QVT: Concepts, Methods and Tools

Policy Representation and Reasoning: for Security and Trust Management in Distributed Environments

Spécification Formelle des Services Web à Interface Flexible

Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Virtual Machine Support for Aspect-Oriented Programming Languages

Cost-Effective Verification of Concurrent Safety-Critical Systems: The Compliance Notation Approach

Supporting Networked Software Development: Socially Organising People of Software