Вы здесь

Главная

Inst. of Informatics Systems

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

Algebraic Specification Language Ruslan 99
Algebraic Specification of the Programming Language Oberon.
A Logical Approach to Decidability of Hierarchies of Regular Star-free Languages
A New Language Basic-Real for Specification and Verification of Distributed System Models
A.P.Ershov Institute of Informatics Systems. Annual Research Report, 2001
Combining Knowledge and Fixpoints
Equivalent Transformations of Recursion Schemes and Admissible Rewriting Rule Systems
Institute of Informatics Systems. Annual Research Report. 1992
Institute of Informatics Systems. Annual Research Report. 1993
Object-Oriented Specifications: Set-Theory Based and Algebraic Approaches. A Review
On the Object-Oriented Design of Translator Components
Parallel Processing: Architecture and Computers
Perspectives of System Informatics, International Workshop on Program Understanding: Proc./ Andrei Ershov Seventh International Conference PSI 09, 19-23 June, Altai Mountains, Russia
Perspectives of System Informatics: Prliminary Proc./Seventh International Andrei Ershov Memorial Conference , PSI 09, 15-19 June 2009, Novosibirsk, Akademgorodok, Russia
Perspectives of System Informatics, PSI '01: Proc./A.Eshov Fourth Intern. Conf., Novosibirsk, Russia, 2-6 July 2001
Perspectives of System Informatics, PSI'99: Preliminary Proc./Andrei Ershov Third Intern. Conf., Novosibirsk, Akademgorodok, Russia, 6-9 July 1999
Some Formal Aspects of Subdefinite Models
Specification of an Oberon Compiler by Means of a Typed Gurevich Machine
The Database Specification Language Ruslan
The Database Specification Language Ruslan (A Preliminary Communication)
The Rapira Programming Language
Суммы функций конечного множества и среднемерное моделирование