Formal Methods

QR Kod

Formal Methods

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Havelund, Klaus, Peleska, Jan, Roscoe, Bill, Vink, Erik de
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/87854
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

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)

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 Methods for Industrial Critical Systems
Yazar:: Howar, Falk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Ahrendt, Wolfgang, ve diğerleri
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 Methods: Foundations and Applications
Baskı/Yayın Bilgisi: (2020)

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

Formal Aspects of Component Software
Yazar:: Proença, José, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

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

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

Critical Systems: Formal Methods and Automated Verification
Yazar:: Petrucci, Laure, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

It's All About Coordination
Yazar:: Boer, Frank de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Open Object-Based Distributed Systems
Yazar:: Bonsangue, Marcello M., 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)

Theory and Applications of Formal Argumentation
Yazar:: Black, Elizabeth, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

25 Years of Model Checking
Yazar:: Grumberg, Orna, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Programming Languages and Systems
Yazar:: Shao, Zhong
Baskı/Yayın Bilgisi: (2020)

Model and Data Engineering
Yazar:: Abdelwahed, El Hassan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Modelling Foundations and Applications
Yazar:: Pierantonio, Alfonso, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

Automated Technology for Verification and Analysis
Yazar:: D'Souza, Deepak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automated Technology for Verification and Analysis
Yazar:: Lahiri, Shuvendu K., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Provenance and Annotation of Data and Processes
Yazar:: Belhajjame, Khalid, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

iOS Code Testing
Yazar:: Mishra, Abhishek
Baskı/Yayın Bilgisi: (2020)

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

Modelling Foundations and Applications
Yazar:: Anjorin, Anthony, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Runtime Verification
Yazar:: Sokolsky, Oleg, 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)

Runtime Verification
Yazar:: Lahiri, Shuvendu, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theory and Practice of Model Transformation
Yazar:: Rensink, Arend, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Tests and Proofs
Yazar:: Dubois, Catherine, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

Coordination, Organizations, Institutions, and Norms in Agent Systems XII
Yazar:: Cranefield, Stephen, ve diğerleri
Baskı/Yayın Bilgisi: (2020)