Вы здесь

Главная

Proc. of the Estonian Academy of Sciences. Physics, Mathematics

Связанные издания:

A Specification Formalism for Interacting Objects
Functional Programming with Apomorphisms (Corecursion)
MSCPDL - A Language for Behavioural Abstraction
Program Specification by Typed Gurevich Machines