The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031666728
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2024 ed. |
| Udgivelsesdato | 13-08-2024 |
| Første udgivelsesår | 2024 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 47 Illustrations, color; 33 Illustrations, black and white; XIV, 316 p. 80 illus., 47 illus. in color. |
| Fagredaktør | Ana Cavalcanti, James Baxter |
| Originalsprog | Switzerland |
| Sideantal | 316 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 316 pages, 47 Illustrations, color; 33 Illustrations, black and white; XIV, 316 p. 80 illus., 47 ill |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031666728 |