Zohar Manna
Articoli popolari di Zohar Manna
Visualizza tutte le offerte-
Studies in Automatic Programming Logic
Prezzi articolo a partire da
Visualizza 2 offerteEUR 5,31
Trova anche
Antichi o usati -
Mathematical Theory of Computation
Manna, Zohar
Prezzi articolo a partire da
Visualizza 31 offerteEUR 12,32
-
Temporal Verification of Reactive Systems: Safety
Pnueli, Amir; Manna, Zohar
Prezzi articolo a partire da
Visualizza 31 offerteEUR 14,92
-
Logical Basis for Computer Programming: Deductive Reasoning: 1
Manna, Zohar; Waldinger, Richard
Prezzi articolo a partire da
Visualizza 7 offerteEUR 13,47
Trova anche
Antichi o usati -
Lectures on the Logic of Computer Programming
Manna, Zohar
Prezzi articolo a partire da
Visualizza 3 offerteEUR 10,56
-
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Prezzi articolo a partire da
Visualizza 14 offerteEUR 30,70
-
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,27
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