LEADER 02275nam  2200493   450 
001 9910149573003321
005 20161109103205.7
010   $a1-78326-345-8
035   $a(CKB)2660000000040894
035   $a(MiAaPQ)EBC4731631
035   $a(WSP)000p028
035   $a(EXLCZ)992660000000040894
100   $a19970318h19961996  uy|            0
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 00$aAdvances in theory and formal methods of computing $eproceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 /$feditors, A. Edalat, S. Jourdan, G. McCusker
210  1$aLondon :$cImperial College Press,$d[1996]
210  4$dİ1996
215   $a1 online resource (342 pages) $cillustrations
300   $a"Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v.
311   $a1-86094-031-5 
320   $aIncludes bibliographical references.
330   $a"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.
606   $aComputer science$vCongresses
606   $aFormal methods (Computer science)$vCongresses
608   $aElectronic books.
615  0$aComputer science
615  0$aFormal methods (Computer science)
676   $a004/.01/5113
702   $aEdalat$b A$g(Abbas),
702   $aJourdan$b S$g(Sofia),
702   $aMcCusker$b G$g(Guy),
712 02$aImperial College of Science, Technology and Medicine.$bDepartment of Computing,
712 12$aImperial College Department of Computing Workshop on Theory and Formal Methods$d(3rd :$f1996 :$eOxford, England),
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910149573003321
996   $aAdvances in theory and formal methods of computing$92867938
997   $aUNINA