Kuvaus: 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 / Geoffrey Burn, Simon Gay, and Mark Ryan, eds.

Summary goes here

Tallennettuna:

Bibliografiset tiedot
Aineistotyyppi:	Kirja
Kieli:	englanti
Aiheet:	Computer programming Formal methods (Computer science) Programming. Conference papers and proceedings
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!