Abstract State Machines: A Method for High-Level System Design and Analysis
In your inventory
nothing here
In your friends' and groups' inventories
nothing here
Nearby
nothing here
Elsewhere
nothing here
Edition - isbn:9783540007029 - inv:d39e3b435deaf92a5e412a48edb06043