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 16 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

£58 today · cheaper than every other day in the last 3 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 75 days · 75 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 75 days • 1 price levels

Days at Price

Price Analysis

Most common price: £58 (75 days, 100.0%)

Price range: £58 - £58

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

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

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

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

Irregular Problems on Multi-core Architectures: Exploiting Parallelism and Performance Evaluation on Multi-core Architectures

Pragmatic Investigations in English and Arabic Linguistic Thought: A Speech-act Orientation

MultiParadigm Foundation for Model Transformation Language Engineering

Digital Logic Design and Assembly Language Programming: Solved Problems for Students

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

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

MICROPROCESSORS AND ITS INTERFACING

Povsednevnost': istoriya, metodologiya, teoriya: (sotsial'no-filosofskiy analiz)

Parallel and Bit-parallel Text Algorithms: Second Edition

Supporting Reengineering Software Variants into Software Product Lines: Recovering Traceability Links between Software Artifacts

Variativnost' aktsentnoy normy mnogoslozhnykh slov angliyskogo yazyka: Monografiya

Statistical Multiplexing and Connection Admission Control

Tekstovaya deyatel'nost' studentov v kontekste metodicheskoy masterskoy: formirovanie professional'nykh kompetentsiy uchitelya

Optimizing productivity: An analysis of new development projects in IT industry

Sistema otsenki sostoyaniya komponentov sistem elektrosnabzheniya LA: Povyshenie effektivnosti tekhnicheskogo obsluzhivaniya sistem LA

Semanticheskaya derivatsiya i osobennosti tekstovoy realizatsii: slov latinskogo proiskhozhdeniya v sovremennom russkom yazyke (na materiale gazetnykh publikatsiy)

Principles of Computer System: Architectures, Operating Systems and Security

Translation of English Simple Texts: For English Translation Students

Technology Based Employee Training and Organizational Performance: Mediating By Customer Oriented Employees

Agents With Two-Dimensional Language Autonomy: For Task Delegation

Upravlenie sotsial'nymi protsessami: Osnovy, kontseptsii, metody

Perceptions of Stakeholders on Academic Staff Development Programmes: On Student's Laboratory Skills Acquisitions in Nigerians Polytechnics