Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, ...
Descubre cómo la lógica de reescritura impulsa avances en verificación formal y sistemas distribuidos a través de artículos del 12.º Taller Internacional WRLA 2018, recopilados por Springer Nature.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Vlad Rusu |
| ASIN | 3319998390 |
| ISBN | 3319998390 |
| EAN | 9783319998398 |
| Colección | THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES |
| Edición | Septiembre de 2018 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319998398 |
| Páginas | 276 |
Productos Relacionados
Rewriting the soul
79.04 EUR
Term rewriting systems
295.11 EUR