Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

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

by Werner Damm, Holger Hermanns Paperback 2007

⭐ 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, Holger Hermanns
  • ISBN 13: 9783540733676
  • ISBN 10: 3540733671
  • Publication Year: 2007
  • Language: English

Specifications

Index-103540733671
LanguageEnglish
Index-139783540733676
Period-
Class Track-
Publisher- (2007)
Pages-

✨ Readers also enjoyed...

View All →
Entwurf und Verifikation Mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation Mikroprog…

Werner Damm

Inquire
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…

Werner Damm, E. -R. Olderog

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