Henning Dierks

1 published title

Real-time systems : formal specification and automatic verification

(Contributor)

1 edition

ISBN: 9780521883337
Cambridge University Press
2008
Details

obnb.uk is a Good Stuff website.