Automata, Languages, and ProgrammingElias Koutsoupias, Thore Husfeldt, Pierre Fraigniaud, Javier Esparza E-bok2014687 kr
Tools and Algorithms for the Construction and Analysis of SystemsRupak Majumdar, Javier Esparza E-bok2010708 kr
Del 379Finite and Algorithmic Model TheoryJavier Esparza, Christian Michaux, Charles SteinhornHäftad, 2011864 kr
Automata, Languages, and ProgrammingJavier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias KoutsoupiasHäftad, 2014561 kr
Tools and Algorithms for the Construction and Analysis of SystemsJavier Esparza, Rupak MajumdarHäftad, 2010561 kr
Automated Technology for Verification and AnalysisJavier Esparza, Chih-Hong Cheng, Yu-Fang Chen E-bok2019708 kr
Foundations of Software Science and Computation StructuresJavier Esparza, Andrzej S. MurawskiHäftad, 2017561 kr