Recent Trends in Algebraic Development Techniques

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

By: JosÃ© Luiz Fiadeiro (Editor), Pierre-Yves Schobbens (Editor)

Write A Review

Paperback | 24 April 2007

At a Glance

Paperback
188 Pages

Dimensions(cm)
23.39 x 15.6 x 1.02

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Discrete Mathematics Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Mathematical Foundation Mathematical Logic

Contributed Papers
A Temporal Graph Logic for Verification of Graph Transformation Systems	p. 1
On the Algebraization of Many-Sorted Logics	p. 21
Algebraic Semantics of Service Component Modules	p. 37
Autonomous Units and Their Semantics - The Parallel Case	p. 56
Reasoning Support for Casl with Automated Theorem Proving Systems	p. 74
Structured CSP - A Process Algebra as an Institution	p. 92
Incremental Resolution of Model Inconsistencies	p. 111
Coalgebraic Modal Logic in CoCasl	p. 127
SV[subscript t]L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts	p. 142
A (Co)Algebraic Analysis of Synchronization in CSP	p. 156
Author Index	p. 171
Table of Contents provided by Ingram. All Rights Reserved.

Recent Trends in Algebraic Development Techniques

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Parallel Computing

Design and Analysis of Algorithms

Computer Architecture

A Modern Approach

Basic Computer Architecture

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Simply AI

Facts Made Fast

Developing Graphics Frameworks with Java and OpenGL

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Platform Engineering

A Guide for Technical, Product, and People Leaders

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Rust Atomics and Locks

Low-Level Concurrency in Practice

Tidy First?

A Personal Exercise in Empirical Software Design

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Digital Design and Computer Architecture

ARM Edition

The Designer's Guide to VHDL, third edition

Volume 3

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

This product is categorised by