Integrated Formal Methods

क्यूआर कोड

Integrated Formal Methods

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Ahrendt, Wolfgang, Tarifa, Silvia Lizeth Tapia
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer International Publishing 2020
विषय:	Computer Science Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91212
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

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

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

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

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

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

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

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

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

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

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

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

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

Formal Aspects of Component Software
द्वारा: Proença, José, और अन्य
प्रकाशित: (2020)

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

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

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

Critical Systems: Formal Methods and Automated Verification
द्वारा: Petrucci, Laure, और अन्य
प्रकाशित: (2020)

Formal Methods for Open Object-Based Distributed Systems
द्वारा: Bonsangue, Marcello M., और अन्य
प्रकाशित: (2020)

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

Integrated Formal Methods
प्रकाशित: (2020)

Theory and Applications of Formal Argumentation
द्वारा: Black, Elizabeth, और अन्य
प्रकाशित: (2020)

25 Years of Model Checking
द्वारा: Grumberg, Orna, और अन्य
प्रकाशित: (2020)

Programming Languages and Systems
द्वारा: Shao, Zhong
प्रकाशित: (2020)

Model and Data Engineering
द्वारा: Abdelwahed, El Hassan, और अन्य
प्रकाशित: (2020)

Modelling Foundations and Applications
द्वारा: Pierantonio, Alfonso, और अन्य
प्रकाशित: (2020)

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

Automated Technology for Verification and Analysis
द्वारा: D'Souza, Deepak, और अन्य
प्रकाशित: (2020)

Automated Technology for Verification and Analysis
द्वारा: Lahiri, Shuvendu K., और अन्य
प्रकाशित: (2020)

Provenance and Annotation of Data and Processes
द्वारा: Belhajjame, Khalid, और अन्य
प्रकाशित: (2020)

iOS Code Testing
द्वारा: Mishra, Abhishek
प्रकाशित: (2020)

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

Modelling Foundations and Applications
द्वारा: Anjorin, Anthony, और अन्य
प्रकाशित: (2020)

Runtime Verification
द्वारा: Sokolsky, Oleg, और अन्य
प्रकाशित: (2020)

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

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

Runtime Verification
द्वारा: Lahiri, Shuvendu, और अन्य
प्रकाशित: (2020)

Theory and Practice of Model Transformation
द्वारा: Rensink, Arend, और अन्य
प्रकाशित: (2020)

Tests and Proofs
द्वारा: Dubois, Catherine, और अन्य
प्रकाशित: (2020)

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

Coordination, Organizations, Institutions, and Norms in Agent Systems XII
द्वारा: Cranefield, Stephen, और अन्य
प्रकाशित: (2020)