Show simple item record

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.accessioned2020-03-18 13:36:15
dc.date.accessioned2020-04-01T09:11:46Z
dc.date.available2020-04-01T09:11:46Z
dc.date.issued2019
dc.identifier1006828
dc.identifier.urihttp://0-library-oapen-org.catalogue.libraries.london.ac.uk/handle/20.500.12657/23327
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.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.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.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedByda087c60-8432-4f58-b2dd-747fc1a60025
oapen.collectionDutch Research Council (NWO)
oapen.pages258
oapen.grant.number628.010.006
oapen.grant.number639.021.754
oapen.grant.projectBetterBe B.V.
oapen.grant.projectVeni


Files in this item

Thumbnail
Name:
1006828.pdf
Size:
9.903Mb
Format:
PDF
License:
https://creativecommons.org/li ...
Webshop link:
https://0-www-springer-com.catalogue.libraries.london.ac.uk/97830 ...
View/Open

This item appears in the following Collection(s)

Show simple item record