𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language

✍ Scribed by Furio Honsell; Marina Lenisa; Rekha Redamalla


Book ID
108126413
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
336 KB
Volume
104
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.