Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Continue reading
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Continue reading
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Continue reading
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Continue reading
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Continue reading
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Continue reading
FM 2006: Formal Methods
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Continue reading
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Continue reading
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Continue reading
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Continue reading
Model-Based Testing of Reactive Systems
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...
Continue reading
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Continue reading
