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

 
9781860940316: Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Tapa dura
ISBN 10: 1860940315 ISBN 13: 9781860940316
Editorial: Imperial College Press, 1996

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Imperial College Press
Año de publicación
1996
Idioma
Inglés
ISBN 10 
1860940315
ISBN 13 
9781860940316
Encuadernación
Tapa dura
Número de páginas
340
Editor
Edalat Abbas, Jourdan S, Mccusker G
Contacto del fabricante
no disponible
Persona responsable
no disponible