Afficher la notice abrégée

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

dc.contributor.editorBeyer, Dirk
dc.contributor.editorHuisman, Marieke
dc.contributor.editorKordon, Fabrice
dc.contributor.editorSteffen, Bernhard
dc.date.accessioned2025-03-07T15:41:00Z
dc.date.available2025-03-07T15:41:00Z
dc.date.issued2019
dc.date.submitted2020-03-18 13:36:15
dc.date.submitted2020-04-01T09:11:46Z
dc.identifier1006828
dc.identifier1006828
dc.identifierOCN: 1096325925
dc.identifierhttp://library.oapen.org/handle/20.500.12657/23327
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/156756
dc.description.abstractThis book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
dc.subject.otherComputer science
dc.subject.otherComputer logic
dc.subject.otherSoftware engineering
dc.subject.otherMathematical logic
dc.subject.otherComputers
dc.subject.otherComputer system failures
dc.subject.otherComputer simulation
dc.titleTools and Algorithms for the Construction and Analysis of Systems
dc.title.alternative25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
dc.typebook
oapen.identifier.doi10.1007/978-3-030-17502-3
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isFundedByNederlandse Organisatie voor Wetenschappelijk Onderzoek
oapen.collectionDutch Research Council (NWO)
oapen.pages258
dc.relationisFundedByda087c60-8432-4f58-b2dd-747fc1a60025
dc.grantprojectBetterBe B.V.
dc.grantprojectVeni


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access