Z notation

variant of ZFC, the standard axiomatic set theory

formal specification language used for describing and modelling computing systems

IBM CICS (Customer Information Control System) is a family of mixed-language application servers that provide online transaction management and connectivity for applications on IBM mainframe systems under z/OS and z/VSE.

right|125x125px Mondex was a smart card electronic cash system, implemented as a stored-value card and owned by Mastercard.

French computer scientist