Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Reactive Systems : Modelling, Specification and Verification

Reactive Systems : Modelling, Specification and Verification

by Luca Aceto, Jiri Srba, Kim Guldstrand Larsen, Anna Ingólfsdóttir Hardcover 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: Luca Aceto, Jiri Srba, Kim Guldstrand Larsen, Anna Ingólfsdóttir
  • ISBN 13: 9780521875462
  • ISBN 10: 0521875463
  • Publication Year: 2007
  • Language: English

Specifications

Index-100521875463
LanguageEnglish
Index-139780521875462
Period-
Class Track-
Publisher- (2007)
Pages-

✨ Readers also enjoyed...

View All →
Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I

Automata, Languages and Programmin…

Luca Aceto, Monika Henzinger, Jiri Sgall

Inquire
Automata, Languages and Programming Pt. 1 : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 2008 Proceedings

Automata, Languages and Programmin…

Luca Aceto, Ivan Damgard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir

Inquire
Automata, Languages and Programming Pt. II : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland July 2008 Proceedings

Automata, Languages and Programmin…

Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir

Inquire
Foundations of Software Science and Computational Structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferen

Foundations of Software Science an…

Luca Aceto, Anna Ingólfsdóttir

Inquire
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Too…

Luca Aceto, Giorgio. Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay

Inquire