Gå direkte til innholdet
Theory and Formal Methods 1993
Spar

Theory and Formal Methods 1993

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. The papers fall into four broad areas: • semantics • concurrency • logic • specification with some papers spanning a number of disciplines.
Undertittel
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
Opplag
Softcover reprint of the original 1st ed. 1993
ISBN
9783540198420
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
24.9.1993
Antall sider
329