Joe
387 ReadsSupporterLibrarian
JoeSupporter
In a barrage of so much "how to" SWE work, Z Notation is a great way of applying formal methods like set theory and lambda calculus to the "why to" of creating a system.
In a barrage of so much "how to" SWE work, Z Notation is a great way of applying formal methods like set theory and lambda calculus to the "why to" of creating a system.