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

Edalat, A.; McCusker, G.; Jourdan, S.

 
9781860940316: Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
Rilegato
ISBN 10: 1860940315 ISBN 13: 9781860940316
Casa editrice: Imperial College Pr, 1996

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Imperial College Pr
Data di pubblicazione
1996
Lingua
Inglese
ISBN 10 
1860940315
ISBN 13 
9781860940316
Rilegatura
Copertina rigida
Numero di pagine
340
Contatto del produttore
non disponibile
Persona responsabile
non disponibile