Buy Used and New Martin C. Henson Books

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings: 2272 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Martin C. Henson,Ken Robinson,Didier Bert

ISBN 13: 9783540431664

Format: Illustrated (552 pages)
Publisher: Springer
Published: 16 Jan 2002

Save for later

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner,Martin C. Henson

ISBN 13: 9783642093456

Format: Paperback (648 pages)
Publisher: Springer
Published: 22 Nov 2010

Save for later