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.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.identifierOCN: 1031399710en_US
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.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
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
oapen.relation.isbn9783319899633
oapen.series.number10806
oapen.place.publicationCham
oapen.identifier.ocn1031399710


Files in this item

Thumbnail
Name:
1002306.pdf
Size:
18.67Mb
Format:
PDF
License:
https://creativecommons.org/li ...
Webshop link:
https://link.springer.com/book ...
View/Open

This item appears in the following Collection(s)

Show simple item record