Z notation
Videos
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in gene
Jean-Raymond Abrial, the main originator of the Z notation
IEEE Computer Society
Videos
IEEE Computer Society is a technical society of the Institute of Electrical and Electronics Engineers dedicated to computing, namely the major areas of hardware, software, standards and people, "advan
IEEE Computer Society publications office in Los Alamitos, California
Steve Wozniak (age 66) relating tales of his television jammer hijinks from college at the first TechIgnite conference (2017)