Articoli correlati a Advances in Theory and Formal Methods of Computing:...
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop - Rilegato
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.
Risultati della ricerca per Advances in Theory and Formal Methods of Computing:...
Foto dell'editore
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
Editore:
Imperial College Press, 1996
ISBN 10: 1860940315
ISBN 13: 9781860940316
Antico o usato
Rilegato
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Like New. Like New. book. Codice articolo ERICA80018609403156
Quantità: 1 disponibili