Вы здесь

Henson M. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Operation Refinement and Monotonicity in the Schema Calculus 2003 Deutsch M., Henson M. C., Reeves S. Lecture Notes in Computer Science 20.06.2003
СТ An Analysis of Forward Simulation Data Refinement 2003 Deutsch M., Henson M. C. Lecture Notes in Computer Science 20.06.2003
СТ Program Development and Specification Refinement in the Schema Calculus 2000 Henson M. C., Reeves S. Lecture Notes in Computer Science 21.10.2000
П Transformational Programming, Type Simulations & Intensional Set Theory 1988 Henson M. C. Lecture Notes in Artificial Intelligence Univ.Essex 16.05.1998
СТ An Experiment in Vernacular Program Derivation 1994 Henson M. C. Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX 23.05.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002 2002 Lecture Notes in Computer Science
  1. Bert D.
  2. Bowen J. P.
  3. Henson M. C.
  4. Robinson K.
02.03.2002