Javier Esparza
Auteur van Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
Werken van Javier Esparza
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series) (2011) 6 exemplaren
Logics and Languages for Reliability and Security - Volume 25 NATO Science for Peace and Security Series - D:… (2010) 2 exemplaren
Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014,… (2014) 2 exemplaren
Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014,… (2014) 2 exemplaren
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series) (2008) — Auteur — 1 exemplaar
Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part… (2017) 1 exemplaar
Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as… (2010) 1 exemplaar
Tagged
Algemene kennis
Er zijn nog geen Algemene Kennis-gegevens over deze auteur. Je kunt helpen.
Leden
Misschien vindt je deze ook leuk
Gerelateerde auteurs
Statistieken
- Werken
- 10
- Leden
- 18
- Populariteit
- #630,789
- ISBNs
- 23