ABSTRACT MACHINE NOTATION


Meaning of ABSTRACT MACHINE NOTATION in English

< language > (AMN) A language for specifying abstract machines in the B-Method , based on the mathematical theory of Generalised Substitutions .

(1995-03-13)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.