Sangiorgi (Autor)
Advanced Topics in Bisimulation and Coinduction

Beschreibung
Produktdetails
ISBN/GTIN | 978-1-139-15379-9 |
---|---|
Kopierschutz | Digital Rights Management |