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

£58.00

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

Name: Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
Brand: LAP Lambert Academic Publishing
Price: 58.0 GBP
Availability: InStock

Introduction to Programming

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: £58 (43 days, 100.0%)

Price range: £58 - £58

Price levels: 1 different prices over 43 days

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3838363167
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 19 May 2010
Listed Since: 25 May 2010

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

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

Hardware Prefetch, Reduction Support and Speculative State Buffering: Shared Memory Multiprocessors

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

PARALLEL AND DISTRIBUTED ALGORITHMS: PRACTICAL APPROACHES

Transformation-based Support For Visual Languages: Defining Visual Languages, Optimizing Constraint Handling and Creating Truly Parallel Model Transformations

Hardware Software Co-Design For Parallel Embedded Systems: Modeling and Optimization

Sequential and Parallel Algorithms: for Network Packet Classification

MultiParadigm Foundation for Model Transformation Language Engineering

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

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

Self-Stabilizing Autonomic Recoverers: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software, Recovery Oriented Programming, Self-* Programming

Mastering Object-Oriented Programming: Interactive Concepts

Parallel and Bit-parallel Text Algorithms: Second Edition

Object-oriented Modeling and Design

Parsing Adjacency Languages for Calligraphic Interfaces

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

Hierarchical Interconnection Networks: for Massively Parallel Computer Systems

Towards Parallel Execution of Scientific Applications

Chislennoe modelirovanie fil'tratsionnykh soprotivleniy: Programmno-informatsionnaya podderzhka

Sequential and Parallel Algorithms on Intersection Graphs

Теория функциональных программ

Effectiveness of Tracing in a Multicore Environment: A performance evaluation of LTTng's Kernel Space and User Space Trace primitives

Analyze Of Java Programming Language And Method Of Improvisations: Learning, Demonstration, Development, and Security

An Introduction to Object Oriented Programming Using JAVA: Approach to object-oriented programming