DE
FR
"Amir Pnueli"
(3 Artikel gefunden)
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir Pnueli
E-Book (pdf)
06.12.2012
CHF
59.90
Download steht sofort bereit
Temporal Verification of Reactive Systems
Zohar Manna, Amir Pnueli
E-Book (pdf)
06.12.2012
CHF
118.90
Download steht sofort bereit
Time for Verification
E-Book (pdf)
30.06.2010
CHF
120.90
Download steht sofort bereit
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
