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
de Dirk Beyer, Marieke Huisman
- Idioma
- Inglés
- Publicación
- 2018
- Editorial
- Springer International Publishing
- Páginas
- 429
- ISBN
- 9783319899596
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 IPublicado originalmente en 2018 Inglés Springer
Otras ediciones (4)
- 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 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...
- 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
Todavía no hay reseñas. ¿Escribes la primera?