The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and context-aware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and model-driven development; models, correctness and (re)configuration of hardware/middleware/architectures; re-engineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and context-aware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and model-driven development; models, correctness and (re)configuration of hardware/middleware/architectures; re-engineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 3629 |
Release date | August 2005 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2005 |
Editors | Jose Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten |
Dimensions | 235 x 155 x 24mm (L x W x T) |
Format | Paperback |
Pages | 457 |
Edition | 2005 ed. |
ISBN-13 | 978-3-540-28620-2 |
Barcode | 9783540286202 |
Categories | |
LSN | 3-540-28620-9 |