Concise Guide to Software Verification المزيد من كتب Marieke Huisman & Anton Wijs

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

٢٠٢٤

Formal Techniques for Distributed Objects, Components, and Systems

٢٠٢٣

Formal Methods for Industrial Critical Systems

٢٠٢٢

Formal Methods

٢٠٢١

Fundamental Approaches to Software Engineering

٢٠١٧

Integrated Formal Methods

٢٠١٦