Functional and Logic Programming Jeremy Gibbons & Dale Miller: другие книги

Trends in Functional Programming Trends in Functional Programming
Trends in Functional Programming
2025
Bidirectional Transformations Bidirectional Transformations
Bidirectional Transformations
2018
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007
Teaching Formal Methods Teaching Formal Methods
Teaching Formal Methods
2009