Advanced Topics in Bisimulation and Coinduction
Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.
CHF 116.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Rutten, Jan (Hrsg.)
- ISBN: 978-1-107-00497-9
- EAN: 9781107004979
- Produktnummer: 11419114
- Verlag: Cambridge
- Sprache: Englisch
- Erscheinungsjahr: 2011
- Seitenangabe: 326 S.
- Masse: H23.3 cm x B15.6 cm x D2.5 cm 600 g
- Reihenbandnummer: 52
- Gewicht: 600
6 weitere Werke von Davide (Hrsg.) Sangiorgi:
Bewertungen
Anmelden