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-bok2010734 kr
Del 379Finite and Algorithmic Model TheoryJavier Esparza, Christian Michaux, Charles SteinhornHäftad, 2011895 kr
Automata, Languages, and ProgrammingJavier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias KoutsoupiasHäftad, 2014559 kr
Tools and Algorithms for the Construction and Analysis of SystemsJavier Esparza, Rupak MajumdarHäftad, 2010559 kr
Automated Technology for Verification and AnalysisJavier Esparza, Chih-Hong Cheng, Yu-Fang Chen E-bok2019734 kr
Foundations of Software Science and Computation StructuresJavier Esparza, Andrzej S. MurawskiHäftad, 2017559 kr