Raamatud Amir Pnueli
Valikule vastavaid tooteid ei leitud.
-30%
Temporal Verification of Reactive Systems: Safety
118,57 €
169,38 €
-30% koodiga BOOKS
Meie tarnija laos
-30%
The Temporal Logic of Reactive and Concurrent Systems: Specification
130,42 €
186,32 €
-30% koodiga BOOKS
Meie tarnija laos
-30%
The Temporal Logic of Reactive and Concurrent Systems: Specification
59,28 €
84,68 €
-30% koodiga BOOKS
Meie tarnija laos
-30%
Temporal Verification of Reactive Systems: Safety
130,42 €
186,32 €
-30% koodiga BOOKS
Meie tarnija laos