Cart 0
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Abbas Edalat

Format: Print Book

ISBN: 9781860940316

Tax included.
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.

Format: Hardcover
No of Pages: 340
Imprint: Imperial College Press
Publication date: 19961101





We Also Recommend

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Save SGD 12.26
Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Save SGD 45.78
"Gina Says": Adventures In The Blogosphere String War

"Gina Says": Adventures In The Blogosphere String War
"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant

"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant
"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey

"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey