SOFSEM 2017: Theory and Practice of Computer Science

This book constitutes the refereed proceedings ...

Tools and Algorithms for the Construction and Analysis of Systems

This book constitutes the proceedings of the 21...

Theoretische Informatik

Zum Buch:Basierend auf den Erfahrungen aus ihre...

CONCUR 2006 - Concurrency Theory

This book constitutes the refereed proceedings ...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 38...

Validation of Stochastic Systems

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 21...

Validation of Stochastic Systems

It is with great pleasure that we present to yo...

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 38...

SOFSEM 2017: Theory and Practice of Computer Science

This book constitutes the refereed proceedings ...

Tools and Algorithms for the Construction and Analysis of Systems

This book constitutes the proceedings of the 21...

Principles of Model Checking

A comprehensive introduction to the foundations...