Mathematics of Program Construction

kod QR

Mathematics of Program Construction

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Audebaud, Philippe, Paulin-Mohring, Christine
Format:	Książka
Język:	English
Wydane:	Springer Berlin Heidelberg 2020
Hasła przedmiotowe:	Computer Science Programming Techniques Software Engineering/Programming and Operating Systems
Dostęp online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81736
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

Logic Programming
od: Gabbrielli, Maurizio, i wsp.
Wydane: (2020)

Genetic Programming
od: O'Neill, Michael, i wsp.
Wydane: (2020)

Logic Programming
od: Dahl, Verónica, i wsp.
Wydane: (2020)

Advanced Functional Programming
od: Vene, Varmo, i wsp.
Wydane: (2020)

Datatype-Generic Programming
od: Backhouse, Roland, i wsp.
Wydane: (2020)

Inductive Logic Programming
od: Blockeel, Hendrik, i wsp.
Wydane: (2020)

Multi-Agent Programming
Wydane: (2020)

Inductive Logic Programming
od: Kramer, Stefan, i wsp.
Wydane: (2020)

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

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

Logic for Programming, Artificial Intelligence, and Reasoning
od: Sutcliffe, Geoff, i wsp.
Wydane: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
od: Dershowitz, Nachum, i wsp.
Wydane: (2020)

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

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

Constructing Correct Software
Wydane: (2020)

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

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

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

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

Automated Reasoning
od: Armando, Alessandro, i wsp.
Wydane: (2020)

Software Verification and Validation
od: Fisher, Marcus S.
Wydane: (2020)

Algebraic Methodology and Software Technology
od: Meseguer, José, i wsp.
Wydane: (2020)

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

Graph Transformations
Wydane: (2020)

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

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

Models in Software Engineering
Wydane: (2020)

Formal Methods and Software Engineering
od: Butler, Michael, i wsp.
Wydane: (2020)

Semantics and Algebraic Specification
Wydane: (2020)

Touch of Class
Wydane: (2020)

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

Ada 2005 Rationale
od: Barnes, John
Wydane: (2020)

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

Automatic Program Development
od: Danvy, Olivier, i wsp.
Wydane: (2020)

Generative Programming and Component Engineering
od: Glück, Robert, i wsp.
Wydane: (2020)

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

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

Tools and Algorithms for the Construction and Analysis of Systems
od: Grumberg, Orna, i wsp.
Wydane: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
od: Beyer, Dirk, i wsp.
Wydane: (2020)