Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

By: Michael Johnson (Editor), Varmo Vene (Editor)

Write A Review

Paperback | 27 June 2006

At a Glance

Paperback
408 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly, andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines. The truly distinguishing feature of AMAST is that it seeks rigorous mathematical developments, but always strives to link them to real technological applications. Our meetings frequently include industry-based participants and are a rare opportunity for mathematicians and mathema- callymindedacademicstointeracttechnicallywithindustry-basedtechnologists. Over the years AMAST has included industrial participants from organizations specializing in safety-critical (including medical) systems, transport (including aerospace), and security-critical systems, amongst others.

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 Mathematical Foundation Mathematical Logic Computing & I.T.Computer Science Computer Architecture & Logic Design Systems Analysis & Design Computer Programming & Software Development Software Engineering Databases Data Capture & Analysis

Artificial Intelligence Expert Systems & Knowledge-Based Systems

Incremental software construction with refinement diagrams	p. 1
Recursive program schemes : past, present, and future	p. 2
Monad-based logics for computational effects	p. 3
State space representation for verification of open systems	p. 5
Data movement optimisation in point-free form	p. 21
Measuring the speed of information leakage in mobile processes	p. 36
Formal islands	p. 51
Some programming languages for Logspace and Ptime	p. 66
Opaque predicates detection by abstract interpretation	p. 81
DO-casl : an observer-based casl extension for dynamic specifications	p. 96
Model transformations incorporating multiple views	p. 111
Hyperfinite approximations to labeled Markov transition systems	p. 127
State space reduction of rewrite theories using invisible transitions	p. 142
The essence of multitasking	p. 158
The substitution vanishes	p. 173
Decomposing interactions	p. 189
Verification of communication protocols using abstract interpretation of FIFO queues	p. 204
Assessing the expressivity of formal specification languages	p. 220
Fork algebras as a sufficiently rich universal institution	p. 235
Realizability criteria for compositional MSC	p. 248
Quantales and temporal logics	p. 263
Fractional semantics	p. 278
Reasoning about data-parallel pointer programs in a modal extension of separation logic	p. 293
Testing semantics : connecting processes and process logics	p. 308
Tableaux for lattices	p. 323
Accelerated modal abstractions of labelled transition systems	p. 338
A compositional semantics of plan revision in intelligent agents	p. 353
ITP/OCL : a rewriting-based validation tool for UML+OCL static class diagrams	p. 368
A computational group theoretic symmetry reduction package for the Spin model checker	p. 374
Using category theory as a basis for a heterogeneous data source search meta-engine : the Promethee framework	p. 381
Table of Contents provided by Blackwell. All Rights Reserved.

Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The C Programming Language

Prentice Hall Software

Python Automation For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

For Dummies (Computer/Tech)

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Python All-in-One For Dummies

3rd Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Teach Yourself VISUALLY iPhone 17 and iPhone Air

Teach Yourself VISUALLY (Tech)

Hands-on Data Analytics for Business

Hands-on Data Analytics for Business

Handbook on Integrating Smart Technologies for Sustainable Development

Smart Technologies for Engineers and Scientists

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Python Workout, Second Edition

200 ten-minute exercises

Interactivity and Meta-Engagement in Digital Mystery Narratives

Elements in Crime Narratives

Interactivity and Meta-Engagement in Digital Mystery Narratives

Elements in Crime Narratives

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Coding For Kids For Dummies

For Kids for Dummies

The Practical Guide

Web Engineering

Theory and Practice

This product is categorised by