Apple
Store
Mac
iPad
iPhone
Watch
Vision
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Jeremy Gibbons
Books
Trends in Functional Programming
2025
Functional and Logic Programming
2024
Bidirectional Transformations
2018
Integrated Formal Methods
2007
Teaching Formal Methods
2009