Alle e-bøger og lydbøger af Pnueli, Amir | Saxo Access

Vis søgefilter

Compositionality: The Significant Difference

Compositionality: The Significant Difference

Pnueli, Amir

875,33 DKK

Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

Pnueli, Amir

875,33 DKK

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Olderog, Ernst-Rudiger

656,09 DKK

Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Pnueli, Amir

875,33 DKK

Temporal Logic of Reactive and Concurrent Systems

Temporal Logic of Reactive and Concurrent Systems

Pnueli, Amir

436,85 DKK