Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop by Edalat, Abbas

Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop (Hardcover) (ISBN-13: 9781860940316)

Vendor: Abbas Edalat
Product type: Books
Format: Hardcover
$136.00
$136.00
$136.00
Subtotal: $136.00
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop by Edalat, Abbas

Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop

$136.00
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop by Edalat, Abbas

Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop

$136.00
Format: Hardcover
Description
Description
x
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.

Author: Abbas Edalat
ISBN-10: 1860940315
ISBN-13: 9781860940316
Publisher: Imperial College Press
Language: English
Published: 11/01/1996
Pages: 340
Format: Hardcover

Recently Viewed Products