Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

by Nicolas Halbwachs, Doron Peled Paperback 2001

⭐ 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: Nicolas Halbwachs, Doron Peled
  • ISBN 13: 9783540662020
  • ISBN 10: 3540662022
  • Publication Year: 2001
  • Language: English

Specifications

Index-10 3540662022
Index-13 9783540662020
Language English

✨ Readers also enjoyed...

View All →
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactiv…

Nicolas Halbwachs

Inquire
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactiv…

Nicolas Halbwachs

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conf

Tools and Algorithms for the Const…

Nicolas Halbwachs, Lenore Zuck

Inquire
Cattle, Priests, and Progress in Medicine

Cattle, Priests, and Progress in M…

Calvin W. Schwabe

Inquire