Mostrar 1 - 1 resultats de 1 per cerca 'Sangiorgi, Davide', hora de la petició: 0.01sec Refinar resultats
  1. 1
    Introduction to bisimulation and coinduction /
    per Sangiorgi, Davide
    Publicat 2012
    Printed Book
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca