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

Descripción:

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. N° de ref. del artículo 8435771

Denunciar este artículo

Sinopsis:

Reseña del editor: 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.