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...
by Dirk Beyer, Marieke Huisman
- Language
- English
- Published
- 2020
- Publisher
- Creative Media Partners, LLC
- Pages
- 474
- ISBN
- 9781013278402
Subjects
- 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
Original edition
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 IOriginally published in 2018 English Springer
Other editions (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, 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
No reviews yet. Be the first.