Aksiomatizacija statičeskogo kontrolja tipov dlja programm s operatorami perechoda

Bibliographic Details
Main Author: Černobrog, L. V. (Author)
Format: Article
Language:Russian
Subjects: