theory and formal methods 1993: proceedings of the first imperial college department of computing workshop on theory and formal methods, isle of thorn

Mark Ryan (Illustrated by) · Geoffrey Burn (Illustrated by) · Simon Gay (Illustrated by) · Springer · Paperback

theory and formal methods 1993: proceedings of the first imperial college department of computing workshop on theory and formal methods, isle of thorn

Burn, Geoffrey ; Gay, Simon ; Ryan, Mark