Christel Baier Editor & Author

Principles of Model Checking cover

Principles of Model Checking

2 authors - Hardback

£105.00

SOFSEM 2017: Theory and Practice of Computer Science cover

SOFSEM 2017: Theory and Practice of Computer Science

6 contributors - Paperback

£44.99

Foundations of Software Science and Computation Structures cover

Foundations of Software Science and Computation Structures

2 contributors - Paperback

£44.99