Formal Techniques for Distributed Objects, Components, and Systems المزيد من كتب Marieke Huisman & António Ravara

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٨

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٨

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٩

Tests and Proofs

٢٠٢٤

Concise Guide to Software Verification

٢٠٢٣

Formal Methods for Industrial Critical Systems

٢٠٢٢

Formal Methods

٢٠٢١

Fundamental Approaches to Software Engineering

٢٠١٧

Integrated Formal Methods

٢٠١٦