Ingen varer
Gå til kassen
Bemærk: Kan ikke leveres før jul.
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic... Læs mere