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

or

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.

More in Computer Programming & Software Development

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Hardcover

RRP $45.00

$35.75

21%
OFF

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull

$64.99

28%
OFF

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$73.75

31%
OFF

Coding For Kids For Dummies

For Kids for Dummies

Paperback

RRP $36.95

$29.75

19%
OFF

Game Development with Godot 4 and C# : Develop a dynamic 3D game while exploring a robust node system, level design, and animations - Kati Baker

$236.99

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Paperback

RRP $94.99

$85.75

10%
OFF

Python Workout, Second Edition : 200 ten-minute exercises - Reuven Lerner

$55.75

51%
OFF

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Paperback

RRP $41.95

$33.75

20%
OFF

Web Engineering : Theory and Practice - Jeremiah Downey

$Typesetting Mathematics With Latex - Robert Legato$

$22.99

15%
OFF

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $91.30

$62.75

31%
OFF

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

Addiction by Design

Machine Gambling in Las Vegas

Python Crash Course

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

The C Programming Language

Prentice Hall Software

Coding For Kids For Dummies

For Kids for Dummies

Game Development with Godot 4 and C#

Develop a dynamic 3D game while exploring a robust node system, level design, and animations

Explainable Artificial Intelligence-based Industrial Internet of Things

Technologies and Applications

Python All-in-One For Dummies

3rd Edition

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Python Workout, Second Edition

200 ten-minute exercises

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Web Engineering

Theory and Practice

The Essence of Software Engineering

Parallel Computing

Design and Analysis of Algorithms

Introduction to Programming Languages

Typesetting Mathematics With Latex

Semantics With Applications

Advanced Topics in Computer Science

Practical Probabilistic Programming

Practical Probabilistic Programming

Heuristic Algorithms Design

A Methodological Approach

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

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

This product is categorised by