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

By:

Russo, Alessandra [HerausgeberIn]

Contributor(s):

Schürr, Andy, 1961- [HerausgeberIn]

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Theoretical Computer Science and General IssuesPublisher: Cham : Springer Nature, 2018Description: 1 Online-RessourceISBN:

9783319893631

Subject(s):

Online resources:

Volltext frei verfügbar

Summary: 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

Holdings ( 0 )
Title notes ( 3 )

No physical items for this record

Open Access. Unrestricted online access star

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

English

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)