Limit search to available items
Book Cover
Book

Title Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 / editors, A. Edalat, S. Jourdan, G. McCusker
Published London : Imperial Collge Press, [1996]
©1996

Copies

Location Call no. Vol. Availability
 W'PONDS  004.015113 Eda/Ait  AVAILABLE
Description viii, 330 pages : illustrations ; 23 cm
Summary "This volume 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. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented."--Distributor's website
Notes "Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v
Bibliography Includes bibliographical references
Subject Computer science -- Congresses.
Electronic books.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Author Edalat, A. (Abbas)
Jourdan, S. (Sofia)
McCusker, G. (Guy)
Imperial College of Science, Technology and Medicine. Department of Computing.
Imperial College Department of Computing Workshop on Theory and Formal Methods (3rd : 1996 : Oxford, England)
LC no. 97129067
ISBN 1860940315