Imagen de Portada
Código QR

Tools and Algorithms for the Construction and Analysis of Systems

This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as...

Descripción completa

Autores principales: Dirk Beyer, Marieke Huisman
Formato: Libro
Publicado: Springer International Publishing 2018
Materias:
Software engineering
Computer logic
Computer science
Computer organization
Computers
Acceso en línea:Ver este registro en EBSCOhost