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

Couverture rigide

ISBN 10 : 1860940315 ISBN 13 : 9781860940316

Editeur : Imperial College Press, 1996

Synopsis

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.

Détails de l'édition

• Éditeur: Imperial College Press
• Date d'édition: 1996
• Langue: anglais
• ISBN 10: 1860940315
• ISBN 13: 9781860940316
• Reliure: Relié
• Nombre de pages: 330
• Éditeur: Edalat Abbas, Jourdan S, Mccusker G
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible