John Forsythe, Linda Evans und Joan Collins heizen ein in der spannungsgeladenen neuen Season der...

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian S...

The topics covered in this book range from modeling and programming languages and environments, v...

This state-of-the-art survey is an outcome of the first IFIP TC 2 WG 2.3 working conference on Ve...

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September...

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretica...

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software En...

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

This volume contains the proceedings of the second working conference on Verified Software: Theor...

This volume contains the proceedings of the 2003 International Conference on Formal Engineering M...

This book constitutes the proceedings of the 7th International Symposium on Dependable Software E...

The topics covered in this book range from modeling and programming languages and environments, v...