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 5 to 7 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 $0.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

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Simply AI

Facts Made Fast

Architecture Patterns with Python

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

Developing Graphics Frameworks with Java and OpenGL

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

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

System Design on AWS

Building and Scaling Enterprise Solutions

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

The Designer's Guide to VHDL, third edition

Volume 3

Architecture, Media, Archives

The Fun Palace of Joan Littlewood and Cedric Price as a Cultural Project

Program Architecture

Fight the Good Fight

500 YEARS AFTER LEONARDO DA VINCI MACHINES

Towards Innovation And Control

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

Handbook of Sociotechnical Systems

A Human Systems Integration Approach

Next Generation Blockchain for Next Generation Society with Futuristic Technologies

Transformative applied research

Breakthrough research in a changing world

Relevant Impact

A Field Guide to Integrated Assurance

Relevant Impact

A Field Guide to Integrated Assurance

This product is categorised by