Show simple item record

Fundamental Approaches to Software Engineering

21st 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.contributor.editorRusso, Alessandra
dc.contributor.editorSchürr, Andy
dc.date.accessioned2018-11-01 23:55:55
dc.date.accessioned2020-03-18 13:36:15
dc.date.accessioned2020-04-01T12:03:50Z
dc.date.available2020-04-01T12:03:50Z
dc.date.issued2018
dc.identifier1002202
dc.identifierOCN: 1031397913en_US
dc.identifier.urihttp://library.oapen.org/handle/20.500.12657/27803
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.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
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.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isbn9783319893631
oapen.series.number10802
oapen.place.publicationCham
oapen.identifier.ocn1031397913


Files in this item

Thumbnail
Name:
1002202.pdf
Size:
24.70Mb
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