DE
FR
"Zohar Manna"
(4 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
The Calculus of Computation
Aaron R. Bradley, Zohar Manna
E-Book (pdf)
18.09.2007
CHF
59.90
Download steht sofort bereit
1
2
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
