Zohar Manna
Articles populaires de Zohar Manna
Afficher toutes les offres-
Lectures on the Logic of Computer Programming
Manna, Zohar
Prix des articles à partir de
Afficher les 12 offresEUR 6,17
-
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 31 offresEUR 8,69
-
Mathematical Theory of Computation
Manna, Zohar
Prix des articles à partir de
Afficher les 32 offresEUR 12,69
-
Logical Basis for Computer Programming: Deductive Reasoning
Manna, Zohar; Waldinger, Richard
Prix des articles à partir de
Afficher les 9 offresEUR 13,89
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 13 offresEUR 31,26
-
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 4 offresEUR 43,60
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 12 offresEUR 46,22
Rechercher également
Neuf -
Studies in Automatic Programming Logic
Prix des articles à partir de
Afficher les 2 offresEUR 5,47
Rechercher également
Ancien ou d'occasion
Affichage de 8 sur 9 livres