Search The Directory The Web for Home > Computers > Programming > Languages > Specification New! Submit a site   whatUseek Directory Site Listings:   The Z Notation - The formal specification notation Z is based on Zermelo-Fraenkel set theory and first order predicate logic.   Z Language Papers - Base Standard, Annex; multipart tutorial; ZED Specification, software.   Z User Group - Information on activities and constitution of a group concerned with the Z formal specification language.     [ 1 2 ] Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek