Automata, Languages and ProgrammingJos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger664 kr
Operational Semantics and Verification of Security ProtocolsCas Cremers, Sjouke MauwHäftad, 2014565 kr
Del 473Trust Management XSheikh Mahbub Habib, Julita Vassileva, Sjouke Mauw, Max MühlhäuserHäftad, 2018566 kr
Automata, Languages and ProgrammingGerhard J. Woeginger, Joachim Parrow, Jan Karel Lenstra, Jos C.M. Baeten E-bok2003732 kr