Here are the all information related to computer including software, hardware, data base, programming, code, notebook, computer store, computer problems, buy and sales computer, configuration management and much more.

Z

Sort listings by: Alphabetic Date Rank Clicks    ascending | descending
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/
PageRank: 0/10
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/
PageRank: 0/10