Вы здесь

Matthews B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context 2000 Dimitrakos T., Bicarregui J., Matthews B., Maibaum T. Lecture Notes in Computer Science 21.10.2000
СТ Ionic Types 2000 Dobson S., Matthews B. Lecture Notes in Computer Science 20.07.2000
СТ Formal Development of Databases in ASSO and B 1999 Matthews B., Locuratolo E. Lecture Notes in Computer Science 30.10.1999
СТ Synthesising Structure from Flat Specifications 1998 Matthews B., Ritchie B., Bicarregui J. Lecture Notes in Computer Science 17.06.1998
СТ MERILL: An Equational Reasoning System in Standard ML 1993 Matthews B. Lecture Notes in Computer Science 09.07.1993