No description available....
"This book offers a state-of-the-art overview of the dependability research, from engineering various software-intensive systems to validating existing IT-frame...
No description available....
No description available....
No description available....
No description available....
No description available....
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Pol...