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

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 40 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £59 - £59

Price levels: 1 different prices over 40 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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

A Framework and Methodology for Managing Quality of Web Services

Testing and Verifying Web Services

A Framework and Methodology for Managing Quality of Web Services

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

Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs

Quality-Driven Information Filtering: In the Context of Web-Based Information Systems

Diagnosis and Maintenance in an Integrated Time-Triggered Architecture: Tackling the Trouble-Not-Identified Phenomenon

A Context Sensor Development Framework: for SOA-based Collaborative Working Environments

Aspect-Oriented Workflow Management: Concepts, Languages, Applications

A Software Component Quality Framework: A Reuse Approach

Domain Ontology Learning from the Web: An Unsupervised, Automatic and Domain Independent Approach

Exponential Time Algorithms: Structures, Measures, and Bounds

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

Achieving Information Integrity in Databases for Open Systems: An analytical approach

APPLIED TEXTUAL ENTAILMENT: A generic framework to capture shallow semantic inference

Temporal Metric Planning in Continuous Time: Processes and Continuous Changes in a SAT-based Planning

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

Virtual Machine Support for Aspect-Oriented Programming Languages

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

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

Personal Augmented Computing Environment: A Framework for Personalized Visualization and Scalable Human-Computer Interaction

Assessment framework of learning for Human Resource Management: Assessment of learning in Universities of Technology

Automated intrusion prevention mechanism in enhancing network security