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

Von:

Russo, Alessandra [HerausgeberIn]

Mitwirkende(r):

Schürr, Andy [HerausgeberIn]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Theoretical Computer Science and General IssuesVerlag: Cham : Springer Nature, 2018Beschreibung: 1 Online-RessourceISBN:

9783319893631

Schlagwörter:

Computer science

Online-Ressourcen:

Volltext frei verfügbar

Zusammenfassung: computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verificationPPN: PPN: 1778544029Package identifier: Produktsigel: ZDB-94-OAB

Exemplare ( 0 )
Titelinformationen ( 3 )

Dieser Titel hat keine Exemplare

Open Access. Unrestricted online access star

Creative Commons https://creativecommons.org/licenses/by/4.0 cc

English