Mohlo by sa vám tiež páčiť

Informovať o naskladnení knihy

Viac informácií o knihe Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 419 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science

• Celý názov: Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
• Autor: Abbas Edalat, S. Jourdan, G. Mccusker
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 340
• EAN: 9781860940316
• ID: 05121479
• Nakladateľ: Imperial College Press
• Dátum vydania: 01. November 1996

Obľúbené z iného súdka

---

---

---