Zobacz książki o podobnej tematyce

Powiadomienie o dostępności

Więcej informacji o Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 419 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science

• Pełny tytuł: Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
• Autor: Abbas Edalat, S. Jourdan, G. Mccusker
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 340
• EAN: 9781860940316
• ID: 05121479
• Wydawca: Imperial College Press
• Data wydania: 01. November 1996

Ulubione w innej kategorii

---

---

---