Martin C. Henson

Identifiers

Open LibraryOL1069257A

Top Subjects

Programming languages (electronic computers) (1)
Logic, symbolic and mathematical (1)

Books by Martin C. Henson

Total count: 2

ZB 2002 : Formal Specification and Development in Z and B2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Springer London, Limited2003-01-01
Logics of Specification Languages

Springer London, Limited2007-01-01