Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

This book is Open Access under a CC BY licence.

Detalles Bibliográficos
Autor Corporativo: TACAS (Conference) (-)
Otros Autores: Dirk Beyer (auth), Beyer, Dirk. editor (editor), Huisman, Marieke. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer International Publishing 2018.
Edición:1st ed. 2018.
Colección:Theoretical Computer Science and General Issues, 10806
Materias:
Computer science.
Software engineering.
Computer engineering.
Computer networks.
Artificial intelligence.
Computers.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer Engineering and Networks.
Artificial Intelligence.
Computing Milieux.
Computer Hardware.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009432269706719
Descripción
Sumario:This book is Open Access under a CC BY licence.
Descripción Física:1 online resource (XX, 465 p. 92 illus.)
ISBN:9783319899633
Acceso:Open Access

Ejemplares similares