Fundamental Approaches to Software Engineering

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

में बचाया:
ग्रंथसूची विवरण
स्वरूप: Online
भाषा:अंग्रेज़ी
प्रकाशित: Springer Nature 2021
विषय:
ऑनलाइन पहुंच:1002202
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!