![Oxford University Computing Laboratory / Z notation / Eves / First-order logic / Zermelo–Fraenkel set theory / Formal specification / Metalogic / Theorem prover / Mathematical logic / Formal methods / Logic Oxford University Computing Laboratory / Z notation / Eves / First-order logic / Zermelo–Fraenkel set theory / Formal specification / Metalogic / Theorem prover / Mathematical logic / Formal methods / Logic](https://www.pdfsearch.io/img/28161ee43b872814b71f9af98f7aab6c.jpg)
| Document Date: 2013-10-30 13:20:29 Open Document File Size: 776,32 KBShare Result on Facebook
Facility Computing Science Newcastle University / Newcastle University / / OperatingSystem Pilot / POSIX / / Organization Newcastle University / Prof Cliff Jones School / / Person Andrius Velykis / / ProgrammingLanguage LaTeX / Z notation / / Technology API / /
SocialTag |