Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Book Details
Format
Hardback or Cased Book
ISBN-10
1860940315
ISBN-13
9781860940316
Publisher
Imperial College Press
Imprint
Imperial College Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 1st, 1996
Print length
340 Pages
Product Classification:
Computer science
Ksh 21,600.00
Publisher Out of Stock
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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, including formal specification, theorem proving, and operational and denotational semantics.
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.
Get Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Imperial College Press and it has pages.
