Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications - Image 1

£66.00

LAP Lambert Academic Publishing Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Name: Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications
Brand: LAP Lambert Academic Publishing
Price: 66.0 GBP
Availability: InStock

Computing & Internet

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

View at Amazon

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 45 days • 1 price levels

Days at Price

Price Analysis

Most common price: £66 (45 days, 100.0%)

Price range: £66 - £66

Price levels: 1 different prices over 45 days

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3845421312
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 15 December 2011
Listed Since: 19 December 2011

Barcode

No barcode data available

LAP Lambert Academic Publishing Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Mobile Computing: An Extensive Analysis

The Transaction Graph:: Requirements Capture in Semantic Enterprise Architectures

SMS and USSD Location-Based Mobile Advertising in Microenterprises

Intelligent Signature Verification and Analysis: Processing, Verification, Description and Analysis

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

Mobile Application Development using Android

Secure Protocols for Location, Adjacency, and Identity Verification: Cross Layer Techniques

Advertising Effectiveness with special reference to Mobile Handsets

Self timed Null Convention Logic Approaches

Web Browsing on Mobile Phones: Characteristics of User Experience

Validation and product development: Quality assurance

Mobile Digital Library Acceptance

Prostranstvo, vremya, dvizhenie

Logic Design And Application

Analyses of Mobile Learning Possibilities and Software Solutions: Assessing M-Learning Effectiveness And Performance

Nalogooblozhenie oplaty truda

A Study of Mobile Technology with reference to Wireless Data

Especificación de Sistemas Software en Entornos Multi-Perspectiva: Una visión general de la metodología formal MultiSpec

Dynamically provisioned Virtual Infrastructures: specification, allocation and execution

Security in Mobile Ad hoc Networks: Detection and Isolation of Selfish Nodes

Vychislenie spetsial'nykh funktsiy v dlinnoy arifmetike

Cross Layer Architecture of Mobile Ad-Hoc Networks: Power Efficient Routing Protocol

The Verification of MDG Algorithms in the HOL Theorem Prover

Enterprise Web-based Computing with Java