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

£66.00

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

Name: Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Brand: VDM Verlag
Price: 65.57 GBP
Availability: InStock

Computer Science

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: VDM Verlag
Format: Paperback
ASIN: 3836488582
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 27 March 2008
Listed Since: 03 April 2008

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Introduction to Associative Dataflow Processing: From Concept To Implementation

The Teaching and Learning of Programming

Improvisation, Computers and Interaction

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

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

Virtual Machine Support for Aspect-Oriented Programming Languages

Policy Representation and Reasoning: for Security and Trust Management in Distributed Environments

Norm Enforcement in Normative Multiagent Systems: Design, Implementation and Development

Argumentation as a practical foundation for decision theory: Designing expert systems in AI using logical knowledge and statistical data

Approaching Proof in a Community of Mathematical Practice

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

Model Checking Abstract State Machines

An Automated Model Abstraction Approach: Applied to Rule-Based Multi-Agent Systems

Architecting Automated Design Systems

Clinical Process Optimization: Methodische Grundlagen und praktische Umsetzung

Numerically Imprecise Decision Making -: An Applied Approach

Towards Predictive Rendering in Virtual Reality: Improving the Visualization Quality of Virtual Reality Applications for making VR applicable to Virtual Design Tasks

Introspektive modellgetriebene Softwareentwicklung

Collaborative Programming on the Internet: Environments

ROBUST SEMANTIC ROLE LABELING: USING PARSING VARIATIONS AND SEMANTIC CLASSES

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

Reconciling utility measurements through prospect theory: An experimental investigation

Electronic learning readiness a practical approach: Epistemologies, design principles and implementation

Diagnosis and Maintenance in an Integrated Time-Triggered Architecture: Tackling the Trouble-Not-Identified Phenomenon