Вы здесь

Robinson K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Reconciling Axiomatic and Model-Based Specifications Using the B Method 2000 Robinson K. Lecture Notes in Computer Science 21.10.2000
СТ Modular Refinement and Model Building 1997 De Groot M., Robinson K. Lecture Notes in Computer Science 30.12.1997
СТ Business Case Processing - Rationale, Survey and Trends 1996 Robinson K., Mac Randel D. Lecture Notes in Computer Science 20.12.1996
СТ Modular Reasoning in an Object-Oriented Refinement Calculus 1993 Utting M., Robinson K. Lecture Notes in Computer Science 29.04.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ 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