Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Z notation

< >

Z notation is a notation created in 1974.

#1524on PLDB 50Years Old
Wikipedia

The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.. Read more on Wikipedia...


- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0