Oprawa miękka
Tools and Algorithms for the Construction and Analysis of Systems
188,00 zł197,00 zł
Dostępny
Sriram Sankaranarayanan
Oprawa miękka
Tools and Algorithms for the Construction and Analysis of Systems
188,00 zł197,00 zł
Dostawa w ciągu 3-4 tygodni
Powiadom
Oprawa miękka
Verification, Model Checking, and Abstract Interpretation
288,00 zł309,00 zł
Dostawa w ciągu 3-4 tygodni
Powiadom
Oprawa miękka
Verification, Model Checking, and Abstract Interpretation
288,00 zł309,00 zł
Dostawa w ciągu 3-4 tygodni
Powiadom
Oprawa miękka
Formal Modeling and Analysis of Timed Systems
238,00 zł253,00 zł
Dostawa w ciągu 3-4 tygodni
Powiadom