Matches in DBpedia 2014 for { ?s ?p The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.. }
Showing items 1 to 2 of
2
with 100 items per page.
- Abstract_machine_notation abstract "The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.".
- Abstract_machine_notation comment "The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.".