๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Modeling, specification, and verification of automaton programs

โœ Scribed by E. V. Kuzmin; V. A. Sokolov


Book ID
110190887
Publisher
SP MAIK Nauka/Interperiodica
Year
2008
Tongue
English
Weight
261 KB
Volume
34
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Automaton semigroup models of programs
โœ R. I. Podlovchenko ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 181 KB