Abstract State Machines 2004. Advances in Theory and Practice
-
häftad
,
Engelska, 2004