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:
Détails bibliographiques
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Beyer, Dirk (Éditeur intellectuel), Huisman, Marieke (Éditeur intellectuel), Kordon, Fabrice (Éditeur intellectuel), Steffen, Bernhard (Éditeur intellectuel)
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 Metadata

3rd Floor Main Library

Informations d'exemplaires de 3rd Floor Main Library
Cote: A1234.567
Exemplaire 1 Disponible