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
AI Summary
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.
Discover books you might love based on this title.
More in This Genre
Graph Theory and Interconnection Networks
Ksh 35,100.00
Learning Autodesk Inventor 2017
Ksh 10,450.00
Finite Element Simulations with ANSYS Workbench 16 (Including unique access code)
Ksh 12,150.00
Mastering Surface Modeling with SOLIDWORKS 2025
Ksh 12,400.00
Design Leadership
Ksh 5,750.00
Survival Analysis with Python
Ksh 11,150.00
