Advances in theory and formal methods of computing: proceedings of the third imperial college workshop
Éditeur :
Imperial College Press
ISBN :
9781860940316
Date de publication :
1 nov. 1996
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science, including formal specification, theorem proving, and operational and denotational semantics.