Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

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

Detalles Bibliográficos
Otros Autores:	Vojnar, Tomáš (Editor), Vojnar, Tomáš. editor (editor), Zhang, Lijun. 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, 11428
Materias:	Computer science. Software engineering. Machine theory. Algorithms. Logic design. Logic programming. Computer Science Logic and Foundations of Programming. Software Engineering. Formal Languages and Automata Theory. Logic Design. Logic in AI.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009430451506719

Descripción
Sumario:	This book is Open Access under a CC BY licence. .
Descripción Física:	1 online resource (XXIII, 413 p. 552 illus., 55 illus. in color.)
ISBN:	9783030174651

Ejemplares similares