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

Strong Semantical Characterization for Nondeterministic Programs

โœ Scribed by Laszlo Csirmaz


Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
643 KB
Volume
33
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Formal Semantics for Program Paths
โœ Karl Lermer; Colin Fidge; Ian Hayes ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 230 KB