Axiomatic Domain Theory in Categories of Partial Maps
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
Axiomatic categorical domain theory is crucial for understanding
the meaning of programs and reasoning about them. This book is the
first systematic account of the subject and studies mathematical
structures suitable for modelling functional programming languages
in an axiomatic (abstract)…
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge University Press
Naše tipy
