Formal Aspects of Component Software

क्यूआर कोड

Formal Aspects of Component Software

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Proença, José, Lumpe, Markus
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer International Publishing 2020
विषय:	Computer Science Software Engineering Programming Languages, Compilers, Interpreters
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81441
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

समान संसाधन

Formal Aspects of Component Software
द्वारा: Bae, Kyungmin, और अन्य
प्रकाशित: (2020)

Software Engineering and Formal Methods
द्वारा: Cimatti, Alessandro, और अन्य
प्रकाशित: (2020)

Software Engineering and Formal Methods
द्वारा: Johnsen, Einar Broch, और अन्य
प्रकाशित: (2020)

Formal Approaches to Software Testing
प्रकाशित: (2020)

Formal Methods for Components and Objects
प्रकाशित: (2020)

Formal Methods and Software Engineering
प्रकाशित: (2020)

Formal Methods and Software Engineering
प्रकाशित: (2020)

Formal Aspects of Component Software
द्वारा: Kouchnarenko, Olga, और अन्य
प्रकाशित: (2020)

Formal Methods
द्वारा: Havelund, Klaus, और अन्य
प्रकाशित: (2020)

Integrated Formal Methods
द्वारा: Polikarpova, Nadia, और अन्य
प्रकाशित: (2020)

Integrated Formal Methods
द्वारा: Furia, Carlo A., और अन्य
प्रकाशित: (2020)

NASA Formal Methods
द्वारा: Barrett, Clark, और अन्य
प्रकाशित: (2020)

Reliable Software Technologies – Ada-Europe 2017
द्वारा: Blieberger, Johann, और अन्य
प्रकाशित: (2020)

Formal Methods for Industrial Critical Systems
द्वारा: Howar, Falk, और अन्य
प्रकाशित: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
द्वारा: Feng, Xinyu, और अन्य
प्रकाशित: (2020)

Formal Aspects of Component Software
द्वारा: Arbab, Farhad, और अन्य
प्रकाशित: (2020)

Integrated Formal Methods
द्वारा: Ahrendt, Wolfgang, और अन्य
प्रकाशित: (2020)

Software Technologies
द्वारा: Cabello, Enrique, और अन्य
प्रकाशित: (2020)

Model Checking Software
प्रकाशित: (2020)

Fundamental Approaches to Software Engineering
द्वारा: Hähnle, Reiner, और अन्य
प्रकाशित: (2020)

Fundamental Approaches to Software Engineering
द्वारा: Russo, Alessandra, और अन्य
प्रकाशित: (2020)

Software Technologies: Applications and Foundations
द्वारा: Seidl, Martina, और अन्य
प्रकाशित: (2020)

Fundamental Approaches to Software Engineering
प्रकाशित: (2020)

Language Engineering and Rigorous Software Development
प्रकाशित: (2020)

Model-Driven Engineering and Software Development
द्वारा: Hammoudi, Slimane, और अन्य
प्रकाशित: (2020)

Grand Timely Topics in Software Engineering
द्वारा: Cunha, Jácome, और अन्य
प्रकाशित: (2020)

A Concise Introduction to Software Engineering
द्वारा: Jalote, Pankaj
प्रकाशित: (2020)

Software Engineering: Specification, Implementation, Verification
द्वारा: Alagić, Suad
प्रकाशित: (2020)

Mastering Scale and Complexity in Software Reuse
द्वारा: Botterweck, Goetz, और अन्य
प्रकाशित: (2020)

Requirements Engineering: Foundation for Software Quality
द्वारा: Kamsties, Erik, और अन्य
प्रकाशित: (2020)

String Analysis for Software Verification and Security
द्वारा: Bultan, Tevfik, और अन्य
प्रकाशित: (2020)

Evaluation of Novel Approaches to Software Engineering
द्वारा: Damiani, Ernesto, और अन्य
प्रकाशित: (2020)

Formal Methods: Foundations and Applications
प्रकाशित: (2020)

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
प्रकाशित: (2020)

Formal Methods Teaching
द्वारा: Dongol, Brijesh, और अन्य
प्रकाशित: (2020)

Fundamentals of Software Engineering
द्वारा: Hojjat, Hossein, और अन्य
प्रकाशित: (2020)

Software Architecture
प्रकाशित: (2020)

Software Engineering
प्रकाशित: (2020)

Advances in Software Engineering
प्रकाशित: (2020)

Models in Software Engineering
द्वारा: Giese, Holger
प्रकाशित: (2020)