Fundamental Approaches to Software Engineering

Authors
    Publication date
    Publisher
    'Springer Science and Business Media LLC'
    Doi

      Abstract

      computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verificatio

        Similar works

        Full text

        thumbnail-image

        Available Versions

        OAPEN Library

        redirect
        oaioai:library.oapen.org:20.500.1...
        Last time updated on 02/10/2020