Вы здесь

Главная

подмножество

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

A Programmer s Reduction Semantics for Classes and Mixins
LISP-details INTERLISP/360-370
New Structural Invariants for Petri Nets Analysis
Proving Java Type Soundness
Subset-logic Programming Application and Implementation
The Definition of Kernel Oz
Спецификация законов видимости для подмножества языка Модула-2