booktheque

Formal Techniques in Real-Time and Fault-Tolerant Systems

Werner Damm, Ernst-Rüdiger Olderog · 2003

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
2003
Language
English
Publisher
Springer London, Limited
Editions
1
ISBN
9783540457398

Data source: Wikidata

More by Werner Damm

Computer Aided Verification
Werner Damm · 2007
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Werner Damm · 1987