Tools and Algorithms for the Construction and Analysis of Systems المزيد من كتب Dirk Beyer, Marieke Huisman, Fabrice Kordon & Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٨

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٨

Fundamental Approaches to Software Engineering

٢٠٢٤

TOOLympics Challenge 2023

٢٠٢٤

Verification, Model Checking, and Abstract Interpretation

٢٠٢٠

Tests and Proofs

٢٠١٩

Markovian Demand Inventory Models

٢٠٠٩