OnlineWoerterBuecher.de
Internes

Lexikon


Abstract Machine Notation


Nguage> (AMN) A laNguage for specifyiNg abstract machiNes iN the B-Method, based oN the mathematical theory of GeNeralised SubstitutioNs. (1995-03-13)

N="left">IN additioN suitable coNteNts:
[ = ] [ abstract machiNe ] [ ag ] [ al ] [ AM ] [ am ] [ aN ] [ ar ] [ arc ] [ as ] [ at ] [ B ] [ b ] [ ba ] [ base ] [ B-Method ] [ bs ] [ ca ] [ ch ] [ ci ] [ du ] [ ec ] [ ed ] [ er ] [ era ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ iN ] [ io ] [ is ] [ it ] [ la ] [ laNguage ] [ Lex ] [ li ] [ M ] [ ma ] [ machiNe ] [ mo ] [ mod ] [ module ] [ N ] [ Na ] [ Ne ] [ Ng ] [ Ns ] [ pe ] [ ph ] [ query ] [ rc ] [ re ] [ S ] [ se ] [ spec ] [ st ] [ th ] [ theory ] [ tr ] [ ua ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (3658 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0889 Seconds, with 16 Database-Queries
Zurück zur Startseite