Portada de 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

Name: 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
ISBN: 9783319899633

de Dirk Beyer, Marieke Huisman

Gratis

Idioma: Inglés
Publicación: 2018
Editorial: Springer
Páginas: 465
ISBN: 9783319899633

Temas

Programming
Mathematics
Computer Science
Language Arts & Disciplines
Computers
Information Theory
Library & Information Science
Discrete Mathematics
Hardware
Artificial Intelligence
Database Administration & Management
Software Development & Engineering
Human-Computer Interaction (HCI)
Algorithms
Information Technology
Systems Analysis & Design
Computer Architecture
Cell Phones & Devices

Edición original

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

Publicado originalmente en 2018 Inglés Springer

Otras ediciones (4)