Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

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

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

⭐ 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, Giorgio. Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay
  • ISBN 13: 9783319631202
  • ISBN 10: 3319631209
  • Publication Year: 2017
  • Language: English

Specifications

Index-103319631209
LanguageEnglish
Index-139783319631202
Period-
Class Track-
Publisher- (2017)
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
Reactive Systems : Modelling, Specification and Verification

Reactive Systems : Modelling, Spec…

Luca Aceto, Jiri Srba, Kim Guldstrand Larsen, Anna Ingólfsdóttir

Inquire