Mathematics of Program Construction

QR Kod

Mathematics of Program Construction

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Audebaud, Philippe, Paulin-Mohring, Christine
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Programming Techniques Software Engineering/Programming and Operating Systems
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81736
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Tools and Algorithms for the Construction and Analysis of Systems
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Gabbrielli, Maurizio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Genetic Programming
Yazar:: O'Neill, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic Programming
Yazar:: Dahl, Verónica, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advanced Functional Programming
Yazar:: Vene, Varmo, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Datatype-Generic Programming
Yazar:: Backhouse, Roland, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Blockeel, Hendrik, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Multi-Agent Programming
Baskı/Yayın Bilgisi: (2020)

Inductive Logic Programming
Yazar:: Kramer, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic-Based Program Synthesis and Transformation
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Yazar:: Sutcliffe, Geoff, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Yazar:: Dershowitz, Nachum, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming - CP 2005
Yazar:: Beek, Peter van
Baskı/Yayın Bilgisi: (2020)

Principles and Practice of Constraint Programming - CP 2007
Yazar:: Bessiere, Christian
Baskı/Yayın Bilgisi: (2020)

Constructing Correct Software
Baskı/Yayın Bilgisi: (2020)

Theoretical Aspects of Computing - ICTAC 2008
Baskı/Yayın Bilgisi: (2020)

Theoretical Aspects of Computing - ICTAC 2009
Baskı/Yayın Bilgisi: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Baskı/Yayın Bilgisi: (2020)

Generative and Transformational Techniques in Software Engineering II
Baskı/Yayın Bilgisi: (2020)

Automated Reasoning
Yazar:: Armando, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Verification and Validation
Yazar:: Fisher, Marcus S.
Baskı/Yayın Bilgisi: (2020)

Algebraic Methodology and Software Technology
Yazar:: Meseguer, José, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Object-Oriented Technology. ECOOP 2004 Workshop Reader
Baskı/Yayın Bilgisi: (2020)

Graph Transformations
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Baskı/Yayın Bilgisi: (2020)

Transactions on Aspect-Oriented Software Development V
Baskı/Yayın Bilgisi: (2020)

Models in Software Engineering
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Butler, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Semantics and Algebraic Specification
Baskı/Yayın Bilgisi: (2020)

Touch of Class
Baskı/Yayın Bilgisi: (2020)

Validated Designs for Object-oriented Systems
Baskı/Yayın Bilgisi: (2020)

Ada 2005 Rationale
Yazar:: Barnes, John
Baskı/Yayın Bilgisi: (2020)

Artificial Intelligence: Theories, Models and Applications
Baskı/Yayın Bilgisi: (2020)

Automatic Program Development
Yazar:: Danvy, Olivier, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Generative Programming and Component Engineering
Yazar:: Glück, Robert, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Transactions on Pattern Languages of Programming I
Baskı/Yayın Bilgisi: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Baskı/Yayın Bilgisi: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Yazar:: Grumberg, Orna, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Yazar:: Beyer, Dirk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)