Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Basic Category Theory for Computer Scientists
pocket,
1991,
Engelska,
ISBN 9780262660716
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, …
Dynamic Logic
pocket,
2000,
Engelska,
ISBN 9780262527668
This book provides the first comprehensive introduction to Dynamic Logic.Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage …