Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Sangiorgi, Davide', doba hledání: 0,01 s. Upřesnit hledání
  1. 1
    Introduction to bisimulation and coinduction /
    Autor Sangiorgi, Davide
    Vydáno 2012
    Printed Book
Vyhledávací nástroje: RSS — Poslat emailem