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 I

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 I

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

Detalles Bibliográficos
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, 10805
Materias:
Computer science.
Software engineering.
Computers.
Data structures (Computer science).
Information theory.
Electronic digital computers—Evaluation.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computing Milieux.
Data Structures and Information Theory.
System Performance and Evaluation.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009432269606719
Descripción
Sumario:This book is Open Access under a CC BY licence. .
Descripción Física:1 online resource (XX, 429 p. 93 illus.)
ISBN:9783319899602

Ejemplares similares