Online Computer Directory, Communications, Database, Programming
  Home Submit Site Contact Us  
 
Welcome to Computer Directory
Z
You are here: Home > Programming > Languages > Z

Z Listings
Professor Jonathan Bowen
ZUG webmaster; Computing Professor, South Bank University, heads Centre for Applied Formal Methods. Interests: FM, safety-critical systems, Z, provably correct systems, and rapid prototyping via logic programming. 1994 Babbage Premium award winner.
Z User Group: ZUG
Promotes use and development of Z formal specification language. History, activities, constitution, committee members, officers, large archive, tools, standardization, descriptions, meeting and conference notices, many links.
Browse by Categories:
Artificial Intelligence
Bulletin Board Systems
Communications
Companies
Computer Science
Data Communications
Data Formats
Education & Training
Emulators
Graphics Design
Guides and Directories
Hardware
Home Automation
Human Resources
Humor
Mobile Computers
Multimedia
News & Magazines
Programming
Security
Software
System Management
Technical Guides & Support