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

This book is Open Access under a CC BY licence.

Bibliographic Details
Corporate Author: TACAS (Conference) (-)
Other Authors: Dirk Beyer (auth), Beyer, Dirk. editor (editor), Huisman, Marieke. editor
Format: eBook
Language:Inglés
Published: Cham : Springer International Publishing 2018.
Edition:1st ed. 2018.
Series:Theoretical Computer Science and General Issues, 10806
Subjects:
Computer science.
Software engineering.
Computer engineering.
Computer networks.
Artificial intelligence.
Computers.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer Engineering and Networks.
Artificial Intelligence.
Computing Milieux.
Computer Hardware.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009432269706719
Description
Summary:This book is Open Access under a CC BY licence.
Physical Description:1 online resource (XX, 465 p. 92 illus.)
ISBN:9783319899633

Similar Items