Boeken zoals: The Correctness-by-Construction Approach to Programming
Tips voor lezers van Derrick G. Kourie
Heb je The Correctness-by-Construction Approach to Programming gelezen? Of ben je fan van de boeken van Derrick G. Kourie? Dan vind je hieronder een aantal leestips die ook werden gezocht door lezers van 'The Correctness-by-Construction Approach to Programming'.
The Homotopy Theory of (8,1)-Categories
ISBN 9781107499027
The notion of an (∞,1)-category has become widely used in homotopy theory, category theory, and in a number ...
€ 39.43
Cambridge Studies in Advanced MathematicsSeries Number 7- Introduction to Higher-Order Categorical Logic
ISBN 9780521356534
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely ...
€ 66.35
Lecture Notes in Mathematics2337- Local Systems in Algebraic-Arithmetic Geometry
ISBN 9783031408397
The topological fundamental group of a smooth complex algebraic variety is poorly understood. A fundamental ...
€ 50.99
Annals of Mathematics Studies220- Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups
ISBN 9780691272269
An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry ...
€ 146.00
Lecture Notes in Mathematics15- Commutative Group Schemes
ISBN 9783540035985
We restrict ourselves to two aspects of the field of group schemes, in which the results are fairly complete: ...
€ 33.99
Categorical Homotopy Theory
ISBN 9781107048454
This categorical perspective on homotopy theory helps consolidate and simplify one's understanding of derived ...
€ 98.90
The Correctness-by-Construction Approach to Programming
