Pastāsti draugiem par šo preci:
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
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, including formal specification, theorem proving, and operational and denotational semantics.
340 pages
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1996. gada 1. novembris |
| ISBN13 | 9781860940316 |
| Izdevēji | Imperial College Press |
| Lapas | 330 |
| Izmēri | 150 × 220 × 20 mm · 784 g |
| Redaktors | Edalat, Abbas (Imperial College, Uk) |
| Redaktors | Jourdan, S (Imperial College, Uk) |
| Redaktors | Mccusker, G (Imperial College, Uk) |