Theory and formal methods : proceedings of the First Imperial College Department of Computing Worksh - detaljert visning

Theory and formal methods : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993


Utgitt	London : Springer , c1993
Omfang	VIII, 325 s. : fig.
Emner	Electronic digital computers - Programming Congresses databehandling formelle metoder
ISBN	0387198423. - 3540198423