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 2,58
-
Studies in Automatic Programming Logic
Manna, Zohar; Waldinger, R.
Prix des articles à partir de
Afficher 1 offreEUR 9,35
Rechercher également
Ancien ou d'occasion -
Mathematical Theory of Computation
Manna, Zohar
Prix des articles à partir de
Afficher les 28 offresEUR 13,00
-
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 34 offresEUR 18,51
-
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 18 offresEUR 23,17
-
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 40,58
Rechercher également
Ancien ou d'occasion -
Lectures on the Logic of Computer Programming
Manna, Zohar
Prix des articles à partir de
Afficher les 14 offresEUR 50,54
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 16 offresEUR 46,22
