Zohar Manna
Articles populaires de Zohar Manna
Afficher toutes les offres-
Logical Basis for Computer Programming: Deductive Reasoning
Manna, Zohar; Waldinger, Richard
Prix des articles à partir de
Afficher les 9 offresEUR 9,35
Rechercher également
Ancien ou d'occasion -
Lectures on the Logic of Computer Programming
Manna, Zohar
Prix des articles à partir de
Afficher les 13 offresEUR 5,55
-
Studies in Automatic Programming Logic
Manna, Zohar; Waldinger, R.
Prix des articles à partir de
Afficher 1 offreEUR 9,11
Rechercher également
Ancien ou d'occasion -
Mathematical Theory of Computation
Manna, Zohar
Prix des articles à partir de
Afficher les 31 offresEUR 12,67
-
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 31 offresEUR 31,63
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 16 offresEUR 33,34
-
The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"
Manna, Zohar; Waldinger, Richard
Prix des articles à partir de
Afficher les 7 offresEUR 43,50
Rechercher également
Ancien ou d'occasion -
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 17 offresEUR 46,22
