02275nam 2200493 450 991014957300332120161109103205.71-78326-345-8(CKB)2660000000040894(MiAaPQ)EBC4731631(WSP)000p028(EXLCZ)99266000000004089419970318h19961996 uy| 0engurcnu||||||||rdacontentrdamediardacarrierAdvances 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. McCuskerLondon :Imperial College Press,[1996]©19961 online resource (342 pages) illustrations"Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v.1-86094-031-5 Includes bibliographical references."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.Computer scienceCongressesFormal methods (Computer science)CongressesElectronic books.Computer scienceFormal methods (Computer science)004/.01/5113Edalat 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),MiAaPQMiAaPQMiAaPQBOOK9910149573003321Advances in theory and formal methods of computing2867938UNINA