Henson, Martin C. books & textbook
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 (Lecture Notes in Computer Science, 2272)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken
Springer /2002-01-16 Paperback / 552 Pages
isbn-10: 3540431667 / isbn-13: 9783540431664
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines Henson, Martin C.
Springer /2010-11-22 Paperback / 646 Pages
isbn-10: 3642093450 / isbn-13: 9783642093456
Presenting the Romans: Interpreting the Frontiers of the Roman Empire World Heritage Site (Heritage Matters, 12)
Mills, Nigel Flugel, Christof Young, Christopher Breeze, David Henson, Don Dobat, Erik Adkins, Genevieve Devine, Jim Scott, John Obmann, Jürgen Trumm, Jürgen Branczik, Lucie Kemkes, Martin Fluck, Matthias Kronberger, Michaela Bishop, Mike C. Corbishley, Mike Korac, Miomir Holmes, Nicky Mills, Nigel Spearman, R. M. Hingley, Richard Walkshofer, Sandra Golubovic, Snezana Greaney, Susan Padley, Tim Hazenberg, Tom
BOYE6 /2013-07-18 Hardcover / 216 Pages
isbn-10: 1843838478 / isbn-13: 9781843838470
Elements of Functional Languages
Alfred Waller Ltd /1988T Paperback / 448 Pages
isbn-10: 0632015063 / isbn-13: 9780632015061
