(P/S: wow, Roger wrote this book! LoL!)
take a look.. i’m working with these alien Z notations now..
no kidding.. every single symbol means something!!!
From Wikipedia: Z is based on the standard mathematical notation used in axiomatic set theory, lambda calculus, and first-order predicate logic.
Leave a Reply