Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Price for Eshop: 1267 Kč (€ 50.7)
VAT 0% included
New
E-book delivered electronically online
E-Book information
World Scientific Publishing Company
1996
340
978-1-78326-354-7
1-78326-354-7
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.