Вы здесь

Charpentier M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Secification Transformers: A Predicate Transformer Approach to Composition 2004 Charpentier M., Chandy K. M. Acta Informatica 19.03.2004
СТ An Approach to Composition Motivated by wp 2002 Charpentier M. Lecture Notes in Computer Science 15.05.2002
СТ Towards a Compositional Approach to the Design and Verification of Distributed Systems 1999 Charpentier M., Chandy K. M. Lecture Notes in Computer Science 30.10.1999
СТ Tailoring UNITY to Distributed Program Design 1998 Charpentier M., Filali M., Mauran P., Padiou G., Queinnec P. Lecture Notes in Computer Science 14.05.1998