ENGLISH

Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

By Roland Backhouse (auth.) , Charles Rattray , Savitri Maharaj , Carron Shankland (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
3540223819, 9783540223818
DOI
10.1007/b98770
Open Library ID
OL9623456M
Language
english
Format
PDF
Filesize
7 MB (7016348 bytes)
Series
Lecture Notes in Computer Science 3116
Edition
1
Pages
572\579
Library
Kolxo3
Time added
2011-01-23 12:00:00
Logics and Meanings of Programs; Mathematical Logi

Description

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.

Similar books