Items related to Advances in Theory and Formal Methods of Computing:...
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop - Hardcover
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.
"synopsis" may belong to another edition of this title.
- PublisherImperial College Press
- Publication date1996
- ISBN 10 1860940315
- ISBN 13 9781860940316
- BindingHardcover
- Number of pages340
- EditorEdalat Abbas, Jourdan S, McCusker G
Top Search Results from the AbeBooks Marketplace
Stock Image
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
Published by
Imperial College Press
(1996)
ISBN 10: 1860940315
ISBN 13: 9781860940316
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-S-019-02112
Buy Used
US$ 14.23
Convert currency
Stock Image
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop: Proceedings of the 3rd Imperial College Workshop, Christchurch, Oxford, April 1996
Published by
Imperial College Press
(1996)
ISBN 10: 1860940315
ISBN 13: 9781860940316
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Dust Jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9781860940316. Seller Inventory # 8435771
Buy Used
US$ 14.03
Convert currency
Stock Image
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
Published by
Imperial College Press
(1996)
ISBN 10: 1860940315
ISBN 13: 9781860940316
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA80018609403156
Buy Used
US$ 257.34
Convert currency