Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Mostrar otras versiones (1)

This book is Open Access under a CC BY licence. .

Detalles Bibliográficos
Otros Autores: Beyer, Dirk (Editor ), Beyer, Dirk. editor (editor), Huisman, Marieke. editor, Kordon, Fabrice. editor, Steffen, Bernhard. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer International Publishing 2019.
Edición:1st ed. 2019.
Colección:Theoretical Computer Science and General Issues, 11429
Materias:
Computer science.
Software engineering.
Machine theory.
Computers.
Professions.
Electronic digital computers—Evaluation.
Computer simulation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
The Computing Profession.
System Performance and Evaluation.
Computer Modelling.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009430451706719
Descripción
Sumario:This book is Open Access under a CC BY licence. .
Descripción Física:1 online resource (XXVII, 258 p. 449 illus., 25 illus. in color.)
ISBN:9783030175023
Acceso:Open Access

Ejemplares similares