This is our Worldwide store.

Looks like you're in United States. You need a Worldwide address to shop on our Worldwide store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings eBook by

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Bernd Fischer,Jaco Geldenhuys

Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

Language:English
ISBN:9783319234045
Release date:Jul 5, 2016
Publisher:Springer International Publishing

In this series

Theoretical Aspects of Computing – ICTAC 2018 - eBook by Bernd Fischer,Tarmo Uustalu

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer,Tarmo Uustalu