booktheque

Model Checking Software

Bernd Fischer, Jaco Geldenhuys · 2015

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2015
Language
English
Publisher
Springer London, Limited
Editions
3
ISBN
9783319234045

Data source: Wikidata

More by Bernd Fischer

Biomedical Image Registration
Bernd Fischer · 2010
A Companion To The Works Of Heinrich Von Kleist
Bernd Fischer · 2003
A Companion to the Works of Heinrich von Kleist (Studies in German Literature Linguistics and Culture)
Bernd Fischer · 2002
Theoretical Aspects of Computing – ICTAC 2018
Bernd Fischer · 2018
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming
Bernd Fischer · 2016
Cultural Transformations of the Public Sphere
Bernd Fischer · 2015
Albania 1943-1945
Bernd Fischer · 2014
Polynomial Based Iteration Methods for Symmetric Linear Systems
Bernd Fischer · 2011
Heinrich Von Kleist and Modernity
Bernd Fischer · 2011
Energieausweis und neue EnEV
Bernd Fischer · 2007