Tools and Algorithms for the Construction and Analysis of SystemsRupak Majumdar, Javier Esparza E-bok2010739 kr
Del 379Finite and Algorithmic Model TheoryJavier Esparza, Christian Michaux, Charles SteinhornHäftad, 2011902 kr
Automata, Languages, and ProgrammingJavier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias KoutsoupiasHäftad, 2014581 kr
Tools and Algorithms for the Construction and Analysis of SystemsJavier Esparza, Rupak MajumdarHäftad, 2010581 kr
Foundations of Software Science and Computation StructuresJavier Esparza, Andrzej S. MurawskiHäftad, 2017581 kr