Raamatud Zohar Manna
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 Calculus of Computation: Decision Procedures with Applications to Verification
57,74 €
82,48 €
-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
-30%
The Calculus of Computation Decision Procedures with Applications to Verification
122,46 €
174,95 €
-30% koodiga BOOKS
Meie tarnija laos