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.accessioned2021-02-10T13:16:06Z
dc.date.available2021-02-10T13:16:06Z
dc.date.issued2019
dc.date.submitted2020-03-18 13:36:15
dc.date.submitted2020-04-01T09:11:46Z
dc.identifier1006828
dc.identifierhttp://library.oapen.org/handle/20.500.12657/23327
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/27642
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 topicsen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and designen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulationen_US
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.subject.otherthema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and 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