Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras - Image 1

£66.00

LAP Lambert Academic Publishing Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

Name: Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras
Brand: LAP Lambert Academic Publishing
Price: 66.0 GBP
Availability: InStock

Computing & Internet

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

View at Amazon

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £66 - £66

Price levels: 1 different prices over 42 days

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3838388984
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 02 August 2010
Listed Since: 04 August 2010

Barcode

No barcode data available

LAP Lambert Academic Publishing Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

AGENT-ORIENTED ENGINEERING OF COMPLEX SYSTEMS: Meta-Models, Processes, Environment and Layers

Complex Adaptive e-Commerce Systems: Analytical Tool and Evolution Processes

Compactness of Localization Operators on LP- Spaces

Multiprocessor Performance Analysis: Ensuring Guaranteed Throughput of Dynamic Multimedia Streaming Applications

Intelligent Systems: Current Progress

Hierarchical Interconnection Networks: for Massively Parallel Computer Systems

Tightly Connected Hierarchical Interconnection Networks: Topology, Algorithms and Recursivity in an Asymptotically Optimal Class of Parallel Architectures

Component-based simulation: Hierarchical structures, Modularity, and Reuse

DESIGN AND ANALYSIS OF ALGORITHMS: through Structured Analysis

Logic Design And Application

Obespechenie nadezhnosti resheniy sistem uravneniy

PARALLEL AND DISTRIBUTED ALGORITHMS: PRACTICAL APPROACHES

Analiz dannykh v informatsionnykh obrazovatel'nykh sistemakh: Uchebnoe posobie po laboratornomu praktikumu

Irregular computations on fine-grain multithreaded architecture: Parallel algorithms and architectures

Non-Markovian system Models: Approaches to Analysis and Simplification

Generic Context-Aware Middleware for Pervasive Smart Environment

Dinamicheskoe modelirovanie slozhnykh protsessov i sistem: Obshchaya postanovka problemy i kontseptsiya ee resheniya. Oblasti i primery primeneniya

Dinamika parashyutnykh sistem: Analiz dvizheniya na etape spuska

Statistical Multiplexing and Connection Admission Control

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

A Dynamic Formal Organisational Ontology: A Dynamic Formal Organisational Ontology for Solving Representational Problems involving Occurrents

Kategoriya imeni prilagatel'nogo v raznosistemnykh yazykakh: Sinkhronno-diakhronnyy sravnitel'no-tipologicheskiy analiz

A dynamic multi-algorithm collaborative-filtering system

Complex Web Request Resolution: by Semantic Web Services Composition and Multi-Objective Optimization