Enlarge

Real-time systems : formal specification and automatic verification

E.-R Olderog

Publication Data

Title Real-time systems : formal specification and automatic verification
Author E.-R Olderog
Contributor Henning Dierks
Publisher Cambridge University Press
Publication date 2008
Publication location Cambridge
Language English

Topics

014680179

Catalogue Data

OBNB ID GBA893696
ISBN 10 0521883334
ISBN 13 9780521883337
Type BibliographicResource, Book
Dewey Classification 004.33

ISBD

P1053 xvi, 320 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Real-time systems : formal specification and automatic verification by E.-R Olderog. ISBN 9780521883337. Published by Cambridge University Press in 2008. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.