Вычислимость

Похожие книги

Borger E., Stark S.Abstract State Machines. Solution to Exercises

Borger E., Stark S.Abstract State Machines. A Method for High-Level System Design and Analysis

E. Brger, A. Gargantini, E. RiccobeneAbstract State Machines 2003, Advances in Theory and Practice: Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings (Lecture Notes in Computer Science, 2589)

• Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)
• James Donald Carney, «Solutions to exercises in fundamentals of logic»
• Jesse Russel, «Abstract State Machine Language»

Видео о книгах: