Zohar Manna grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-30%
Temporal Verification of Reactive Systems: Safety
118,57 €
169,38 €
-30% ar kodu BOOKS
Piegādātāja noliktavā
-30%
The Temporal Logic of Reactive and Concurrent Systems: Specification
130,42 €
186,32 €
-30% ar kodu BOOKS
Piegādātāja noliktavā
-30%
The Calculus of Computation: Decision Procedures with Applications to Verification
57,74 €
82,48 €
-30% ar kodu BOOKS
Piegādātāja noliktavā
-30%
The Temporal Logic of Reactive and Concurrent Systems: Specification
59,28 €
84,68 €
-30% ar kodu BOOKS
Piegādātāja noliktavā
-30%
Temporal Verification of Reactive Systems: Safety
130,42 €
186,32 €
-30% ar kodu BOOKS
Piegādātāja noliktavā
-30%
The Calculus of Computation Decision Procedures with Applications to Verification
122,85 €
175,50 €
-30% ar kodu BOOKS
Piegādātāja noliktavā