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

£71.00

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

Name: Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs
Brand: VDM Verlag
Price: 71.0 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 35 days • 1 price levels

Days at Price

Price Analysis

Most common price: £71 (35 days, 100.0%)

Price range: £71 - £71

Price levels: 1 different prices over 35 days

Product Specifications

Brand: VDM Verlag
Format: Paperback
ASIN: 3639228030
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 21 March 2010
Listed Since: 26 March 2010

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Structural Models for Large Software Systems: Dependency Matters

Virtual Machine Support for Aspect-Oriented Programming Languages

Adaptive-Multilevel BDDC: a scalable and robust version

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

How do practitioners understand?: Practitioner perceptions of object-oriented programming

Aspect-Oriented Workflow Management: Concepts, Languages, Applications

Model Checking Abstract State Machines

Introduction to Associative Dataflow Processing: From Concept To Implementation

The Teaching and Learning of Programming

Attribute-Level Versioning: A Relational Mechanism for Version Storage and Retrieval

Heterogeneous Parallel Embedded Systems

SOFTWARE REUSE AND INDUSTRIALIZATION: MODEL-DRIVEN INTEGRATION OF SOFTWARE AND SERVICE COMPONENTS

Release Planning of Software Systems: A Decision Support Approach

Vehicle Routing with Site-Vehicle Dependency Constraints

Specification and Collaboration Driven Software Component Selection- Building a Framework for Component Selection

Developing Scientific Computing Software: Current Processes and Future Directions

Workflow Scheduling for Service Oriented Cloud Computing: cloud, grid, scheduling, services, simulation, workflows

Collaborative Programming on the Internet: Environments

Data Quality Management in Wireless Sensor Networks: A Consistency Model Based Approach

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

Modern Malicious Software: Taxonomy and Advanced Detection Methods

Assignment of Tasks on Parallel and Distributed Computer Systems: Basics, Mathematical Models, and Algorithms

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

On Partitioned Simulation of Electrical Circuits: Analysis and Algorithms