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
オンライン･アクセス:	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)