Marcelo P. (University of Edinburgh) Fiore Forfatter
Viser 1 - 1 af 1 resultat
-
Axiomatic Domain Theory in Categories of Partial Maps (Bog, Paperback / softback, Engelsk)
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
Levering: Print on Demand (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat