Formal Aspects of Component Software

QR Kod

Formal Aspects of Component Software

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Proença, José, Lumpe, Markus
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer International Publishing 2020
Konular:	Computer Science Software Engineering Programming Languages, Compilers, Interpreters
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81441
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

Formal Aspects of Component Software
Yazar:: Bae, Kyungmin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

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

Formal Approaches to Software Testing
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Components and Objects
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Baskı/Yayın Bilgisi: (2020)

Formal Aspects of Component Software
Yazar:: Kouchnarenko, Olga, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods
Yazar:: Havelund, Klaus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Polikarpova, Nadia, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Furia, Carlo A., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

NASA Formal Methods
Yazar:: Barrett, Clark, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Reliable Software Technologies – Ada-Europe 2017
Yazar:: Blieberger, Johann, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Yazar:: Howar, Falk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
Yazar:: Feng, Xinyu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Aspects of Component Software
Yazar:: Arbab, Farhad, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Ahrendt, Wolfgang, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Technologies
Yazar:: Cabello, Enrique, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Checking Software
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Yazar:: Hähnle, Reiner, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Yazar:: Russo, Alessandra, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Technologies: Applications and Foundations
Yazar:: Seidl, Martina, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fundamental Approaches to Software Engineering
Baskı/Yayın Bilgisi: (2020)

Language Engineering and Rigorous Software Development
Baskı/Yayın Bilgisi: (2020)

Model-Driven Engineering and Software Development
Yazar:: Hammoudi, Slimane, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Grand Timely Topics in Software Engineering
Yazar:: Cunha, Jácome, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

A Concise Introduction to Software Engineering
Yazar:: Jalote, Pankaj
Baskı/Yayın Bilgisi: (2020)

Software Engineering: Specification, Implementation, Verification
Yazar:: Alagić, Suad
Baskı/Yayın Bilgisi: (2020)

Mastering Scale and Complexity in Software Reuse
Yazar:: Botterweck, Goetz, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Requirements Engineering: Foundation for Software Quality
Yazar:: Kamsties, Erik, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

String Analysis for Software Verification and Security
Yazar:: Bultan, Tevfik, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Evaluation of Novel Approaches to Software Engineering
Yazar:: Damiani, Ernesto, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods: Foundations and Applications
Baskı/Yayın Bilgisi: (2020)

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Baskı/Yayın Bilgisi: (2020)

Formal Methods Teaching
Yazar:: Dongol, Brijesh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fundamentals of Software Engineering
Yazar:: Hojjat, Hossein, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Architecture
Baskı/Yayın Bilgisi: (2020)

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

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

Models in Software Engineering
Yazar:: Giese, Holger
Baskı/Yayın Bilgisi: (2020)