ITYellowPage.com offers links to computer and software websites, browse for websites related to computer, software, hardware, peripheral, data communication, telephony, internet, wireless, computer information and resources.
Home Submit Site Link To Us Contact Us About Us Disclaimer Privacy Policy
Browse by Categories
» Artificial Intelligence (161)
» Bulletin Board Systems (77)
» Communications (2263)
» Companies (76)
» Computer Science (116)
» Data Communications (561)
» Data Formats (176)
» Education & Training (499)
» Emulators (39)
» Graphics Design (1760)
» Guides and Directories (88)
» Hardware (7049)
» Home Automation (57)
» Human Resources (608)
» Humor (38)
» Mobile Computers (570)
» Multimedia (1458)
» News & Magazines (258)
» Programming (3427)
» Security (779)
» Software (28)
» System Management (144)
» Technical Guides & Support (1732)
You are here: Home > Programming > Languages > Z
Links
Professor Jonathan Bowen details
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.
http://www.jpbowen.com/
 
Bookmark and Share
Z User Group: ZUG details
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.
http://www.zuser.org/
 
Bookmark and Share
Category Jump :


Home | About Us | Contact Us | Disclaimer | Link to Us | Privacy Policy | Submit Site | Computer Blog
Copyright © ITYellowPage.com, Inc. All Rights Reserved.
ITYellowPage.com is the web directory provide computer and software information on the internet covering desktop publishing, shareware, freeware, databases, software applications and more.