Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Procee
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031906428
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 01-05-2025 |
| Første udgivelsesår | 2025 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 113 Illustrations, color; 37 Illustrations, black and white |
| Fagredaktør | Arie Gurfinkel, Marijn Heule |
| Originalsprog | Switzerland |
| Sideantal | 399 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 399 pages, 113 Illustrations, color; 37 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031906428 |