Formal Aspects of Component Software

QRコード

Formal Aspects of Component Software

保存先:

書誌詳細
主要な著者:	Arbab, Farhad, Jongmans, Sung-Shik
フォーマット:	図書
言語:	English
出版事項:	Springer International Publishing 2020
主題:	Computer Science Software Engineering Theory of Computation Mathematical Logic and Foundations
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89998
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Formal Aspects of Component Software
著者:: Kouchnarenko, Olga, 等
出版事項: (2020)

Formal Aspects of Component Software
著者:: Bae, Kyungmin, 等
出版事項: (2020)

Formal Aspects of Component Software
著者:: Proença, José, 等
出版事項: (2020)

Process Algebras for Petri Nets. 1st ed. 2017
著者:: Gorrieri, Roberto
出版事項: (2020)

New Developments in Formal Languages and Applications
著者:: Bel-Enguix, Gemma, 等
出版事項: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
著者:: Bouajjani, Ahmed, 等
出版事項: (2020)

Diagonalization in Formal Mathematics
著者:: Santos, Paulo Guilherme
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Formal Methods for Components and Objects
著者:: Boer, Frank S. de, 等
出版事項: (2020)

Formal Methods for Components and Objects
著者:: Boer, Frank S. de, 等
出版事項: (2020)

Formal Concept Analysis
著者:: Ganter, Bernhard, 等
出版事項: (2020)

Concise Guide to Formal Methods
著者:: O'Regan, Gerard
出版事項: (2020)

The Incomputable. 1st ed. 2017
著者:: Cooper, S. Barry, 等
出版事項: (2020)

Formal Methods for Performance Evaluation
著者:: Bernardo, Marco, 等
出版事項: (2020)

Formal Methods: Applications and Technology
著者:: Brim, Lubos, 等
出版事項: (2020)

Formal Methods: Foundations and Applications
著者:: Cavalheiro, Simone, 等
出版事項: (2020)

Formal Methods in Software and Systems Modeling
出版事項: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
著者:: Baier, Christel, 等
出版事項: (2020)

Teaching Formal Methods
出版事項: (2020)

Formal Methods for Industrial Critical Systems
著者:: Leue, Stefan, 等
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Lau, Kung-Kiu, 等
出版事項: (2020)

Integrated Formal Methods
出版事項: (2020)

Formal Methods and Stochastic Models for Performance Evaluation
著者:: Wolter, Katinka
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Component-Based Software Engineering
著者:: Schmidt, Heinz G., 等
出版事項: (2020)

ZB 2005: Formal Specification and Development in Z and B
出版事項: (2020)

FM 2005: Formal Methods
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Duan, Zhenhua, 等
出版事項: (2020)

Formal Methods for Components and Objects
出版事項: (2020)

Formal Modeling and Analysis of Timed Systems
著者:: Raskin, Jean-Francois, 等
出版事項: (2020)

Formal Modeling and Analysis of Timed Systems
著者:: Pettersson, Paul, 等
出版事項: (2020)

Formal Techniques for Safety-Critical Systems
著者:: Artho, Cyrille, 等
出版事項: (2020)

Component-Based Software Testing with UML
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Verified Software: Theories, Tools, Experiments
出版事項: (2020)

Component-Based Software Development for Embedded Systems
著者:: Atkinson, Colin, 等
出版事項: (2020)

Balancing Agility and Formalism in Software Engineering
出版事項: (2020)

Mathematical Aspects of Computer and Information Sciences
著者:: Blömer, Johannes, 等
出版事項: (2020)

Transactions on Aspect-Oriented Software Development IV
著者:: Rashid, Awais, 等
出版事項: (2020)

Transactions on Aspect-Oriented Software Development III
著者:: Rashid, Awais, 等
出版事項: (2020)