Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany,

Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany,

by Werner Damm, E. -R. Olderog Paperback 2002

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Werner Damm, E. -R. Olderog
  • ISBN 13: 9783540441656
  • ISBN 10: 3540441654
  • Publication Year: 2002
  • Language: English

Specifications

Index-103540441654
LanguageEnglish
Index-139783540441656
Period-
Class Track-
Publisher- (2002)
Pages-

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Computer Aided Verification : 19th…

Werner Damm, Holger Hermanns

Inquire
Entwurf und Verifikation Mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation Mikroprog…

Werner Damm

Inquire
Integration of Software Specification Techniques for Applications in Engineering : Priority Program Softspez of the German Research Foundation (DFG),

Integration of Software Specificat…

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif

Inquire