Fundamental Approaches to Software Engineering المزيد من كتب Marieke Huisman & Julia Rubin

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 Techniques for Distributed Objects, Components, and Systems

٢٠٢٣

Formal Methods for Industrial Critical Systems

٢٠٢٢

Formal Methods

٢٠٢١

Integrated Formal Methods

٢٠١٦