Zohar Manna
Articoli popolari di Zohar Manna
Visualizza tutte le offerte-
Mathematical Theory of Computation
Manna, Zohar
Prezzi articolo a partire da
Visualizza 31 offerteEUR 10,14
-
Temporal Verification of Reactive Systems: Safety
Pnueli, Amir; Manna, Zohar
Prezzi articolo a partire da
Visualizza 30 offerteEUR 14,89
-
Studies in Automatic Programming Logic
Prezzi articolo a partire da
Visualizza 2 offerteEUR 8,85
Trova anche
Antichi o usati -
Logical Basis for Computer Programming: Deductive Reasoning: 1
Manna, Zohar; Waldinger, Richard
Prezzi articolo a partire da
Visualizza 7 offerteEUR 13,56
Trova anche
Antichi o usati -
Lectures on the Logic of Computer Programming
Manna, Zohar
Prezzi articolo a partire da
Visualizza 3 offerteEUR 10,54
-
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Prezzi articolo a partire da
Visualizza 14 offerteEUR 30,66
-
The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"
Manna, Zohar; Waldinger, Richard
Prezzi articolo a partire da
Visualizza 5 offerteEUR 42,21
Trova anche
Antichi o usati -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Prezzi articolo a partire da
Visualizza 12 offerteEUR 46,22
Trova anche
Nuovi
Hai visualizzato 8 di 9 titoli