Mathematics of Program Construction

QR Kodea

Mathematics of Program Construction

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Audebaud, Philippe, Paulin-Mohring, Christine
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Springer Berlin Heidelberg 2020
Gaiak:	Computer Science Programming Techniques Software Engineering/Programming and Operating Systems
Sarrera elektronikoa:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81736
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Tools and Algorithms for the Construction and Analysis of Systems
Argitaratua: (2020)

Logic Programming
nork: Gabbrielli, Maurizio, et al.
Argitaratua: (2020)

Genetic Programming
nork: O'Neill, Michael, et al.
Argitaratua: (2020)

Logic Programming
nork: Dahl, Verónica, et al.
Argitaratua: (2020)

Advanced Functional Programming
nork: Vene, Varmo, et al.
Argitaratua: (2020)

Datatype-Generic Programming
nork: Backhouse, Roland, et al.
Argitaratua: (2020)

Inductive Logic Programming
nork: Blockeel, Hendrik, et al.
Argitaratua: (2020)

Multi-Agent Programming
Argitaratua: (2020)

Inductive Logic Programming
nork: Kramer, Stefan, et al.
Argitaratua: (2020)

Logic-Based Program Synthesis and Transformation
Argitaratua: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Argitaratua: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
nork: Sutcliffe, Geoff, et al.
Argitaratua: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
nork: Dershowitz, Nachum, et al.
Argitaratua: (2020)

Principles and Practice of Constraint Programming - CP 2005
nork: Beek, Peter van
Argitaratua: (2020)

Principles and Practice of Constraint Programming - CP 2007
nork: Bessiere, Christian
Argitaratua: (2020)

Constructing Correct Software
Argitaratua: (2020)

Theoretical Aspects of Computing - ICTAC 2008
Argitaratua: (2020)

Theoretical Aspects of Computing - ICTAC 2009
Argitaratua: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Argitaratua: (2020)

Generative and Transformational Techniques in Software Engineering II
Argitaratua: (2020)

Automated Reasoning
nork: Armando, Alessandro, et al.
Argitaratua: (2020)

Software Verification and Validation
nork: Fisher, Marcus S.
Argitaratua: (2020)

Algebraic Methodology and Software Technology
nork: Meseguer, José, et al.
Argitaratua: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
Argitaratua: (2020)

Graph Transformations
Argitaratua: (2020)

Verification, Model Checking, and Abstract Interpretation
Argitaratua: (2020)

Transactions on Aspect-Oriented Software Development V
Argitaratua: (2020)

Models in Software Engineering
Argitaratua: (2020)

Formal Methods and Software Engineering
nork: Butler, Michael, et al.
Argitaratua: (2020)

Semantics and Algebraic Specification
Argitaratua: (2020)

Touch of Class
Argitaratua: (2020)

Validated Designs for Object-oriented Systems
Argitaratua: (2020)

Ada 2005 Rationale
nork: Barnes, John
Argitaratua: (2020)

Artificial Intelligence: Theories, Models and Applications
Argitaratua: (2020)

Automatic Program Development
nork: Danvy, Olivier, et al.
Argitaratua: (2020)

Generative Programming and Component Engineering
nork: Glück, Robert, et al.
Argitaratua: (2020)

Transactions on Pattern Languages of Programming I
Argitaratua: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Argitaratua: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
nork: Grumberg, Orna, et al.
Argitaratua: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
nork: Beyer, Dirk, et al.
Argitaratua: (2020)