Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 1 de noviembre de 1996 |
| ISBN13 | 9781860940316 |
| Editores | Imperial College Press |
| Páginas | 330 |
| Dimensiones | 150 × 220 × 20 mm · 784 g |
| Editor | Edalat, Abbas (Imperial College, Uk) |
| Editor | Jourdan, S (Imperial College, Uk) |
| Editor | Mccusker, G (Imperial College, Uk) |