Show simple item record

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

dc.contributor.editorBeyer, Dirk
dc.contributor.editorHuisman, Marieke
dc.date.accessioned2025-03-07T17:00:37Z
dc.date.available2025-03-07T17:00:37Z
dc.date.issued2018
dc.date.submitted2018-11-01 23:55:55
dc.date.submitted2020-03-18 13:36:15
dc.date.submitted2020-04-01T12:00:24Z
dc.identifier1002306
dc.identifierOCN: 1031399710
dc.identifierhttp://library.oapen.org/handle/20.500.12657/27700
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/159277
dc.description.abstractcomputer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
dc.languageEnglish
dc.relation.ispartofseriesTheoretical Computer Science and General Issues
dc.rightsopen access
dc.subject.othercomputer architecture
dc.subject.othercomputer software selection and evaluation
dc.subject.otherformal logic
dc.subject.otherformal methods
dc.subject.othermodel checker
dc.subject.othermodel checking
dc.subject.othermulti core processors
dc.subject.otherprogram compilers
dc.subject.otherprogramming languages
dc.subject.othersemantics
dc.subject.othersoftware engineering
dc.subject.otherspecifications
dc.subject.otherstate space
dc.subject.otherverification
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science
dc.titleTools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
dc.typebook
oapen.identifier.doi10.1007/978-3-319-89963-3
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783319899633
oapen.place.publicationCham
dc.seriesnumber10806


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record