Mathematics of Program Construction

Κώδικας QR

Mathematics of Program Construction

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Audebaud, Philippe, Paulin-Mohring, Christine
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer Berlin Heidelberg 2020
Θέματα:	Computer Science Programming Techniques Software Engineering/Programming and Operating Systems
Διαθέσιμο Online:	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)