Export citation

Show simple item record

dc.contributor.editorBeyer, Dirk
dc.contributor.editorHuisman, Marieke
dc.date.accessioned2018-11-01 23:55:55
dc.date.accessioned2020-03-18 13:36:15
dc.date.accessioned2020-04-01T12:00:24Z
dc.date.available2020-04-01T12:00:24Z
dc.date.issued2018
dc.identifier1002306
dc.identifier.urihttp://library.oapen.org/handle/20.500.12657/27700
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.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science
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.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.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
virtual.oapen_relation_isPublishedBy.publisher_nameSpringer Nature
virtual.oapen_relation_isPublishedBy.publisher_websitehttps://www.springernature.com/gp/products/books
oapen.relation.isbn9783319899633
oapen.series.number10806
oapen.place.publicationCham


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record