Verwandte Artikel zu Advances In Theory And Formal Methods Of Computing:...
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 218,96
EUR 28,88 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Advances In Theory And Formal Methods Of Computing:...
Beispielbild für diese ISBN
Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA80018609403156
Anzahl: 1 verfügbar