Skip to contents Henson, Bill [Illustrator]; Jaeggi, Martin [Editor] Lux et nox - [1. Scalo ed] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Zürich; Berlin [u.a.]: Scalo, 2002 Bjoerner, Dines [Editor]; Bjørner, Dines [Other]; Henson, Martin C. [Other] Logics of specification languages Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2008 Published in: Monographs in theoretical computer science : an EATCS series Treharne, Helen [Editor]; King, Steve [Other]; Henson, Martin [Other]; Schneider, Steve [Other] ; ZB 4 2005 Guildford ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3455 Henson, Martin [Other]; King, Steve [Other]; Schneider, Steve [Other]; Treharne, Helen [Other] ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3455 Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; Henson, Martin C. [Other]; Robinson, Ken [Other] 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 Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2272 Anderson, Warwick [Contributor]; Batty, Philip [Contributor]; Beudel, Saskia [Contributor]; Deacon, Desley [Contributor]; Douglas, Bronwen [Contributor]; Harris, Amanda [Contributor]; Harris, Amanda [Editor]; Henson, Pamela M. [Contributor]; Losche, Diane [Contributor]; Philp, Jude [Contributor]; Shellam, Tiffany [Contributor]; Thomas, Martin [Contributor]; Thomas, Martin [Editor] Expeditionary Anthropology : Teamwork, Travel and the ''Science of Man'' Books View online Schließen > Access ... to E-book via De Gruyter Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Oxford: Berghahn Books, [2018] Published in: Methodology & History in Anthropology ; 33 Henson, Martin C. The Standard Logic of Z is Inconsistent Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1998 Published in: Formal Aspects of Computing, 10 (1998) 3, Seite 243-247 HENSON, MARTIN C. An Intensional Semantics for Elementary Program Transformations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1995 Published in: Journal of Logic and Computation, 5 (1995) 4, Seite 423-447 HENSON, MARTIN C. On the Proof Theory of Program Transformations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1995 Published in: Logic Journal of IGPL, 3 (1995) 4, Seite 643-671 Henson, Martin C. Logic Programming: Safe positive induction in the programming logic TK Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1992 Published in: Logic Programming (1992), Seite 215-231 Henson, Martin C. Lecture Notes in Computer Science: Realizability models for program construction Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1989 Published in: Lecture Notes in Computer Science (1989), Seite 256-272 Henson, Martin C. Program development in the constructive set theory TK Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1989 Published in: Formal Aspects of Computing, 1 (1989) 1, Seite 173-192 Henson, Martin; Pugna, Irina Bogdana Organising Principles for the Internationalization of Higher Education Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2019 Published in: Proceedings of the International Conference on Business Excellence, 13 (2019) 1, Seite 784-791 Deutsch, Moshe; Henson, Martin C. An analysis of refinement in an abortive paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing, 18 (2006) 3, Seite 329-363 Deutsch, Moshe; Henson, Martin C. Unifying Theories of Programming: A Relational Investigation of UTP Designs and Prescriptions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Unifying Theories of Programming (2006), Seite 101-122 Deutsch, Moshe; Henson, Martin C. An Analysis of Operation-Refinement in an Abortive Paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science, 137 (2005) 2, Seite 67-92 Henson, Martin C.; Kajtazi, Besnik The Specification Logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science, 137 (2005) 2, Seite 111-129 Henson, Martin C.; Reeves, Steve A Logic for Schema-Based Program Development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: Formal Aspects of Computing, 15 (2003) 1, Seite 48-83 Deutsch, Moshe; Henson, Martin C. ZB 2003: Formal Specification and Development in Z and B: An Analysis of Forward Simulation Data Refinement Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B (2003), Seite 148-167 Henson, Martin C.; Reeves, Steve ZB 2000: Formal Specification and Development in Z and B: Program Development and Specification Refinement in the Schema Calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: ZB 2000: Formal Specification and Development in Z and B (2000), Seite 344-362
Henson, Bill [Illustrator]; Jaeggi, Martin [Editor] Lux et nox - [1. Scalo ed] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Zürich; Berlin [u.a.]: Scalo, 2002
Bjoerner, Dines [Editor]; Bjørner, Dines [Other]; Henson, Martin C. [Other] Logics of specification languages Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2008 Published in: Monographs in theoretical computer science : an EATCS series
Treharne, Helen [Editor]; King, Steve [Other]; Henson, Martin [Other]; Schneider, Steve [Other] ; ZB 4 2005 Guildford ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3455
Henson, Martin [Other]; King, Steve [Other]; Schneider, Steve [Other]; Treharne, Helen [Other] ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3455
Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; Henson, Martin C. [Other]; Robinson, Ken [Other] 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 Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2272
Anderson, Warwick [Contributor]; Batty, Philip [Contributor]; Beudel, Saskia [Contributor]; Deacon, Desley [Contributor]; Douglas, Bronwen [Contributor]; Harris, Amanda [Contributor]; Harris, Amanda [Editor]; Henson, Pamela M. [Contributor]; Losche, Diane [Contributor]; Philp, Jude [Contributor]; Shellam, Tiffany [Contributor]; Thomas, Martin [Contributor]; Thomas, Martin [Editor] Expeditionary Anthropology : Teamwork, Travel and the ''Science of Man'' Books View online Schließen > Access ... to E-book via De Gruyter Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Oxford: Berghahn Books, [2018] Published in: Methodology & History in Anthropology ; 33
Henson, Martin C. The Standard Logic of Z is Inconsistent Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1998 Published in: Formal Aspects of Computing, 10 (1998) 3, Seite 243-247
HENSON, MARTIN C. An Intensional Semantics for Elementary Program Transformations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1995 Published in: Journal of Logic and Computation, 5 (1995) 4, Seite 423-447
HENSON, MARTIN C. On the Proof Theory of Program Transformations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1995 Published in: Logic Journal of IGPL, 3 (1995) 4, Seite 643-671
Henson, Martin C. Logic Programming: Safe positive induction in the programming logic TK Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1992 Published in: Logic Programming (1992), Seite 215-231
Henson, Martin C. Lecture Notes in Computer Science: Realizability models for program construction Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1989 Published in: Lecture Notes in Computer Science (1989), Seite 256-272
Henson, Martin C. Program development in the constructive set theory TK Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1989 Published in: Formal Aspects of Computing, 1 (1989) 1, Seite 173-192
Henson, Martin; Pugna, Irina Bogdana Organising Principles for the Internationalization of Higher Education Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2019 Published in: Proceedings of the International Conference on Business Excellence, 13 (2019) 1, Seite 784-791
Deutsch, Moshe; Henson, Martin C. An analysis of refinement in an abortive paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: Formal Aspects of Computing, 18 (2006) 3, Seite 329-363
Deutsch, Moshe; Henson, Martin C. Unifying Theories of Programming: A Relational Investigation of UTP Designs and Prescriptions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Unifying Theories of Programming (2006), Seite 101-122
Deutsch, Moshe; Henson, Martin C. An Analysis of Operation-Refinement in an Abortive Paradigm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science, 137 (2005) 2, Seite 67-92
Henson, Martin C.; Kajtazi, Besnik The Specification Logic νZ Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Electronic Notes in Theoretical Computer Science, 137 (2005) 2, Seite 111-129
Henson, Martin C.; Reeves, Steve A Logic for Schema-Based Program Development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: Formal Aspects of Computing, 15 (2003) 1, Seite 48-83
Deutsch, Moshe; Henson, Martin C. ZB 2003: Formal Specification and Development in Z and B: An Analysis of Forward Simulation Data Refinement Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: ZB 2003: Formal Specification and Development in Z and B (2003), Seite 148-167
Henson, Martin C.; Reeves, Steve ZB 2000: Formal Specification and Development in Z and B: Program Development and Specification Refinement in the Schema Calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: ZB 2000: Formal Specification and Development in Z and B (2000), Seite 344-362
> Media type Skip to next facet Articles (157) Wert ausschließen Books (16) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (101) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (68) Wert ausschließen Show more show less
> Language Skip to next facet English (156) Wert ausschließen Not determined (16) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Medicine (19) Wert ausschließen Biology (17) Wert ausschließen Technology (16) Wert ausschließen Computer science (14) Wert ausschließen Chemistry and pharmacology (10) Wert ausschließen Mathmatics (6) Wert ausschließen Geography (3) Wert ausschließen Psychology (3) Wert ausschließen General (2) Wert ausschließen Art and art history (2) Wert ausschließen Physics (2) Wert ausschließen Ethnology and ethnography (1) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Henson, Martin C. (19) Wert ausschließen Henson, Michael A. (11) Wert ausschließen Henson, Dru A. (10) Wert ausschließen Nieman, David C. (10) Wert ausschließen Marks, Michael (9) Wert ausschließen Carmichael, Martin D. (8) Wert ausschließen Carr, L. (8) Wert ausschließen Dumke, Charles L. (8) Wert ausschließen McAnulty, Lisa S. (8) Wert ausschließen McAnulty, Steven R. (8) Wert ausschließen Moore, William Henson (8) Wert ausschließen Quindry, John C. (8) Wert ausschließen Utter, Alan C. (8) Wert ausschließen Ahmad, S. (7) Wert ausschließen Archer, William Reynolds (7) Wert ausschließen Conable, Barber Benjamin (7) Wert ausschließen Davis, J. Mark (7) Wert ausschließen Gross, Sarah J. (7) Wert ausschließen Johnson, C. (7) Wert ausschließen Jones, H. (7) Wert ausschließen Jones, L. (7) Wert ausschließen Martin, James Grubbs (7) Wert ausschließen Murphy, E. Angela (7) Wert ausschließen Patel, B. (7) Wert ausschließen Raman, Betty (7) Wert ausschließen Ullman, Albert Conrad (7) Wert ausschließen Wilson, D. (7) Wert ausschließen Ali, M. (6) Wert ausschließen Burns, G. (6) Wert ausschließen Clark, C. (6) Wert ausschließen Davies, K. (6) Wert ausschließen Deutsch, Moshe (6) Wert ausschließen Duncan, John James (6) Wert ausschließen Elneima, Omer (6) Wert ausschließen Evans, R. (6) Wert ausschließen Frenzel, William Eldridge (6) Wert ausschließen George, J. (6) Wert ausschließen Goland, Robin (6) Wert ausschließen Gradison, Willis David (6) Wert ausschließen Ho, Ling-Pei (6) Wert ausschließen Jones, S. (6) Wert ausschließen Kelly, S. (6) Wert ausschließen King, C. (6) Wert ausschließen Knight, S. (6) Wert ausschließen Li, X. (6) Wert ausschließen Manley, R. (6) Wert ausschließen Martin, Adrian P. (6) Wert ausschließen Mayer, Eugene P. (6) Wert ausschließen Patel, M. (6) Wert ausschließen Patel, S. (6) Wert ausschließen Reddy, R. (6) Wert ausschließen Reed, A. (6) Wert ausschließen Reeves, Steve (6) Wert ausschließen Richardson, M. (6) Wert ausschließen Schulze, Richard Taylor (6) Wert ausschließen Shah, A. (6) Wert ausschließen Sharma, M. (6) Wert ausschließen Singapuri, Amisha (6) Wert ausschließen Singh, S. (6) Wert ausschließen Smith, D. (6) Wert ausschließen Smith, L. (6) Wert ausschließen United States Congress House Committee on Ways and Means (6) Wert ausschließen Vander Jagt, Guy Adrian (6) Wert ausschließen Vickers, C. (6) Wert ausschließen Walker, S. (6) Wert ausschließen Watson, E. (6) Wert ausschließen Wilkinson, D. (6) Wert ausschließen Williams, J. (6) Wert ausschließen Abbondondolo, Michael (5) Wert ausschließen Abel, K. (5) Wert ausschließen Adamali, H. (5) Wert ausschließen Adams, Timothy (5) Wert ausschließen Aljaroof, M. (5) Wert ausschließen Amado, Darlene (5) Wert ausschließen Arnold, H. (5) Wert ausschließen Ashish, A. (5) Wert ausschließen Ashworth, M. (5) Wert ausschließen Asif, Ilma (5) Wert ausschließen Ayoub, A. (5) Wert ausschließen Bafalis, Louis Arthur (5) Wert ausschließen Bagshaw, J. (5) Wert ausschließen Bailey, L. (5) Wert ausschließen Bakau, M. (5) Wert ausschließen Baldry, E. (5) Wert ausschließen Bates, A. (5) Wert ausschließen Batterham, R. (5) Wert ausschließen Beadsworth, M. (5) Wert ausschließen Beggs, M. (5) Wert ausschließen Begum, M. (5) Wert ausschließen Birchall, K. (5) Wert ausschließen Bonnington, J. (5) Wert ausschließen Boonstra, Matthew (5) Wert ausschließen Botkai, A. (5) Wert ausschließen Bourcier, Katarzyna (5) Wert ausschließen Breen, G. (5) Wert ausschließen Bright, E. (5) Wert ausschließen Brindle, K. (5) Wert ausschließen Brown, A. (5) Wert ausschließen Brown, J. (5) Wert ausschließen Brown, M. (5) Wert ausschließen Show more show less
> Collection Skip to next facet Elsevier BV (CrossRef) (21) Wert ausschließen Wiley (CrossRef) (21) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (18) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (11) Wert ausschließen Nationallizenzen (9) Wert ausschließen U.S. Congressional Serial Set (Nationallizenz) (9) Wert ausschließen Oxford University Press (OUP) (CrossRef) (8) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (8) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (7) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen American Geophysical Union (AGU) (CrossRef) (6) Wert ausschließen American Diabetes Association (CrossRef) (5) Wert ausschließen MDPI AG (CrossRef) (5) Wert ausschließen BMJ (CrossRef) (4) Wert ausschließen Informa UK Limited (CrossRef) (4) Wert ausschließen American Medical Association (AMA) (CrossRef) (3) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (3) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (2) Wert ausschließen American Physiological Society (CrossRef) (2) Wert ausschließen Frontiers Media SA (CrossRef) (2) Wert ausschließen SAGE Publications (CrossRef) (2) Wert ausschließen The Endocrine Society (CrossRef) (2) Wert ausschließen AIP Publishing (CrossRef) (1) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen American Meteorological Society (CrossRef) (1) Wert ausschließen American Society for Clinical Investigation (CrossRef) (1) Wert ausschließen American Society for Microbiology (CrossRef) (1) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (1) Wert ausschließen American Society of Hematology (CrossRef) (1) Wert ausschließen American Society of Sugarbeet Technologist (CrossRef) (1) Wert ausschließen American Thoracic Society (CrossRef) (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen JMIR Publications Inc. (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen Radiological Society of North America (RSNA) (CrossRef) (1) Wert ausschließen Royal College of General Practitioners (CrossRef) (1) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (1) Wert ausschließen Society for Neuroscience (CrossRef) (1) Wert ausschließen The American Association of Immunologists (CrossRef) (1) Wert ausschließen The Electrochemical Society (CrossRef) (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen West Virginia Academy of Science (CrossRef) (1) Wert ausschließen Show more show less