Show simple item record

dc.contributor.editorRusso, Alessandra
dc.contributor.editorSchürr, Andy
dc.date.accessioned2021-02-10T12:58:18Z
dc.date.issued2018
dc.date.submitted2018-11-01 23:55:55
dc.date.submitted2020-03-18 13:36:15
dc.date.submitted2020-04-01T12:03:50Z
dc.identifier1002202
dc.identifierOCN: 1031397913
dc.identifierhttp://library.oapen.org/handle/20.500.12657/27803
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/36277
dc.description.abstractcomputer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
dc.languageEnglish
dc.relation.ispartofseriesTheoretical Computer Science and General Issues
dc.rightsopen access
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science
dc.subject.othercomputer software maintenance
dc.subject.othercomputer software selection and evaluation
dc.subject.otherformal logic
dc.subject.otherformal methods
dc.subject.otherformal specification
dc.subject.otherprogramming languages
dc.subject.othersemantics
dc.subject.othersoftware engineering
dc.subject.otherspecifications
dc.subject.otherverification
dc.titleFundamental Approaches to Software Engineering
dc.title.alternative21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-319-89363-1
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783319893631
oapen.place.publicationCham
dc.seriesnumber10802


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

open access
Except where otherwise noted, this item's license is described as open access