Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, ...

Sumérgete en la lógica de reescritura aplicada a sistemas complejos: este libro compila artículos del 12.º Taller Internacional WRLA 2018, presentando avances teóricos y casos prácticos sobre verificación formal y modelado concurrente.

Marca: Vlad Rusu
ISBN: 3319998390
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES
Edición Septiembre de 2018
Editorial SPRINGER NATURE
Idiomas INGLES
ISBN 9783319998398
Páginas 276