25 Years of Model Checking

क्यूआर कोड

25 Years of Model Checking

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Grumberg, Orna, Veith, Helmut
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer Berlin Heidelberg 2020
विषय:	Computer Science Software Engineering Programming Languages, Compilers, Interpreters
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81710
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

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

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

Model Checking and Artificial Intelligence
प्रकाशित: (2020)

Conceptual Modeling
द्वारा: Mayr, Heinrich C., और अन्य
प्रकाशित: (2020)

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

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

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

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

UML Modeling Languages and Applications
प्रकाशित: (2020)

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

Model Driven Engineering Languages and Systems
द्वारा: Briand, Lionel, और अन्य
प्रकाशित: (2020)

Communicating Sequential Processes. The First 25 Years
प्रकाशित: (2020)

Handbook of Model Checking
द्वारा: Clarke, Edmund M., और अन्य
प्रकाशित: (2020)

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

Conceptual Modeling - ER 2008
प्रकाशित: (2020)

Theory and Practice of Model Transformations
प्रकाशित: (2020)

Model Driven Engineering Languages and Systems
प्रकाशित: (2020)

Quality of Software Architectures Models and Architectures
प्रकाशित: (2020)

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

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

Programming Languages and Systems
द्वारा: Shao, Zhong
प्रकाशित: (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)

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

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

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

Fundamental Approaches to Software Engineering
द्वारा: Hähnle, Reiner, और अन्य
प्रकाशित: (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)

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

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

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

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

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

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

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