𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Application of the trace assertion method to the specification, design, and verification of automaton programs

✍ Scribed by E. V. Kuzmin; V. A. Sokolov; D. Ju. Chalyy


Book ID
110190931
Publisher
SP MAIK Nauka/Interperiodica
Year
2009
Tongue
English
Weight
243 KB
Volume
35
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES