Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Advances In Theory And Formal Methods Of Computing:...
Stock Image
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA80018609403156