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

Program tools for Apple are in PASCAL


Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
137 KB
Volume
6
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


LORETO: a tool for reducing state explos
โœ Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 171 KB ๐Ÿ‘ 1 views

LOTOS is a formal specification language for concurrent and distributed systems. Basic LOTOS is the version of LOTOS without value-passing. A widely used approach to the verification of temporal properties is model checking. Often, in this approach the formal specification is translated into a label

Programming languages or generic softwar
โœ Erich Neuwirth ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Elsevier Science โš– 460 KB

The question of the best method by which to teach computer literacy has been raised anew as a consequence of developing new curricula for this subject. We will therefore try to investigate arguments for the two main different approaches. The main danger when discussing this problem is putting too mu