Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conf

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

by Javier Esparza, Rupak Majumdar Paperback 2010

⭐ 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: Javier Esparza, Rupak Majumdar
  • ISBN 13: 9783642120015
  • ISBN 10: 3642120016
  • Publication Year: 2010
  • Language: English

Specifications

Index-103642120016
LanguageEnglish
Index-139783642120015
Period-
Class Track-
Publisher- (2010)
Pages-

✨ Readers also enjoyed...

View All →
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Automata, Languages, and Programmi…

Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

Inquire
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Automata, Languages, and Programmi…

Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

Inquire
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held As Part of the European Joint Conferenc

Foundations of Software Science an…

Javier Esparza, Andrzej S. Murawski

Inquire
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)

Free Choice Petri Nets (Cambridge …

Javier Esparza, Jörg Desel

Inquire
Unfoldings : A Partial-Order Approach to Model Checking

Unfoldings : A Partial-Order Appro…

Javier Esparza, Keijo Heljanko

Inquire