Mathematics of Program Construction

क्यूआर कोड

Mathematics of Program Construction

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Audebaud, Philippe, Paulin-Mohring, Christine
स्वरूप:	पुस्तक
भाषा:	English
प्रकाशित:	Springer Berlin Heidelberg 2020
विषय:	Computer Science Programming Techniques Software Engineering/Programming and Operating Systems
ऑनलाइन पहुंच:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81736
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

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

समान संसाधन

Tools and Algorithms for the Construction and Analysis of Systems
प्रकाशित: (2020)

Logic Programming
द्वारा: Gabbrielli, Maurizio, और अन्य
प्रकाशित: (2020)

Genetic Programming
द्वारा: O'Neill, Michael, और अन्य
प्रकाशित: (2020)

Logic Programming
द्वारा: Dahl, Verónica, और अन्य
प्रकाशित: (2020)

Advanced Functional Programming
द्वारा: Vene, Varmo, और अन्य
प्रकाशित: (2020)

Datatype-Generic Programming
द्वारा: Backhouse, Roland, और अन्य
प्रकाशित: (2020)

Inductive Logic Programming
द्वारा: Blockeel, Hendrik, और अन्य
प्रकाशित: (2020)

Multi-Agent Programming
प्रकाशित: (2020)

Inductive Logic Programming
द्वारा: Kramer, Stefan, और अन्य
प्रकाशित: (2020)

Logic-Based Program Synthesis and Transformation
प्रकाशित: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
प्रकाशित: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
द्वारा: Sutcliffe, Geoff, और अन्य
प्रकाशित: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
द्वारा: Dershowitz, Nachum, और अन्य
प्रकाशित: (2020)

Principles and Practice of Constraint Programming - CP 2005
द्वारा: Beek, Peter van
प्रकाशित: (2020)

Principles and Practice of Constraint Programming - CP 2007
द्वारा: Bessiere, Christian
प्रकाशित: (2020)

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

Theoretical Aspects of Computing - ICTAC 2008
प्रकाशित: (2020)

Theoretical Aspects of Computing - ICTAC 2009
प्रकाशित: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
प्रकाशित: (2020)

Generative and Transformational Techniques in Software Engineering II
प्रकाशित: (2020)

Automated Reasoning
द्वारा: Armando, Alessandro, और अन्य
प्रकाशित: (2020)

Software Verification and Validation
द्वारा: Fisher, Marcus S.
प्रकाशित: (2020)

Algebraic Methodology and Software Technology
द्वारा: Meseguer, José, और अन्य
प्रकाशित: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
प्रकाशित: (2020)

Graph Transformations
प्रकाशित: (2020)

Verification, Model Checking, and Abstract Interpretation
प्रकाशित: (2020)

Transactions on Aspect-Oriented Software Development V
प्रकाशित: (2020)

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

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

Semantics and Algebraic Specification
प्रकाशित: (2020)

Touch of Class
प्रकाशित: (2020)

Validated Designs for Object-oriented Systems
प्रकाशित: (2020)

Ada 2005 Rationale
द्वारा: Barnes, John
प्रकाशित: (2020)

Artificial Intelligence: Theories, Models and Applications
प्रकाशित: (2020)

Automatic Program Development
द्वारा: Danvy, Olivier, और अन्य
प्रकाशित: (2020)

Generative Programming and Component Engineering
द्वारा: Glück, Robert, और अन्य
प्रकाशित: (2020)

Transactions on Pattern Languages of Programming I
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
द्वारा: Grumberg, Orna, और अन्य
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
द्वारा: Beyer, Dirk, और अन्य
प्रकाशित: (2020)