Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /
This book is Open Access under a CC BY licence. .
Enregistré dans:
Collectivité auteur: | |
---|---|
Autres auteurs: | , , , |
Format: | Électronique eBook |
Langue: | anglais |
Publié: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Édition: | 1st ed. 2019. |
Collection: | Theoretical Computer Science and General Issues,
11429 |
Sujets: | |
Accès en ligne: | Link to Metadata |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Internet
Link to Metadata3rd Floor Main Library
Cote: |
A1234.567 |
---|---|
Exemplaire 1 | Disponible |