Tell your friends about this item:
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Price
€ 130.49
Ordered from remote warehouse
Expected delivery Oct 2 - 16
Our customers say:
Add to your iMusic wish list
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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | November 1, 1996 |
| ISBN13 | 9781860940316 |
| Publishers | Imperial College Press |
| Pages | 330 |
| Dimensions | 150 × 220 × 20 mm · 784 g |
| Editor | Edalat, Abbas (Imperial College, Uk) |
| Editor | Jourdan, S (Imperial College, Uk) |
| Editor | Mccusker, G (Imperial College, Uk) |
![Cover for Mainardi, Francesco (University of Bologna, Italy) · Fractional Calculus and Waves in Linear Viscoelasticity: an Introduction to Mathematical Models (Hardcover Book) [Second, 2 Revised edition] (2022)](https://imusic.b-cdn.net/images/item/original/981/9781783263981.jpg?mainardi-francesco-university-of-bologna-italy-2022-fractional-calculus-and-waves-in-linear-viscoelasticity-an-introduction-to-mathematical-models-hardcover-book&class=scaled&v=1661437229)
![Cover for Heinrich Hora · Edward Teller Lectures: Lasers and Inertial Fusion Energy (Hardcover Book) [Second edition] (2016)](https://imusic.b-cdn.net/images/item/original/653/9781911299653.jpg?heinrich-hora-2016-edward-teller-lectures-lasers-and-inertial-fusion-energy-hardcover-book&class=scaled&v=1657585552)
![Cover for Rees, David W A (Brunel University, UK) · Mechanics of Solids and Structures (2nd Edition) (Hardcover Book) [2 Revised edition] (2016)](https://imusic.b-cdn.net/images/item/original/950/9781783263950.jpg?rees-david-w-a-brunel-university-uk-2016-mechanics-of-solids-and-structures-2nd-edition-hardcover-book&class=scaled&v=1458125441)
![Cover for Rees, David W A (Brunel University, UK) · Mechanics of Solids and Structures (2nd Edition) (Paperback Book) [2 Revised edition] (2016)](https://imusic.b-cdn.net/images/item/original/967/9781783263967.jpg?rees-david-w-a-brunel-university-uk-2016-mechanics-of-solids-and-structures-2nd-edition-paperback-book&class=scaled&v=1458125442)