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 10 offresEUR 4,36
Rechercher également
Ancien ou d'occasion -
Studies in Automatic Programming Logic
Manna, Zohar; Waldinger, R.
Prix des articles à partir de
Afficher 1 offreEUR 5,40
Rechercher également
Ancien ou d'occasion -
Mathematical Theory of Computation
Manna, Zohar
Prix des articles à partir de
Afficher les 34 offresEUR 12,51
-
Lectures on the Logic of Computer Programming
Manna, Zohar
Prix des articles à partir de
Afficher les 9 offresEUR 6,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 2 offresEUR 14,12
Rechercher également
Ancien ou d'occasion -
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 33 offresEUR 31,24
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 16 offresEUR 30,82
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 13 offresEUR 46,22
Rechercher également
Neuf
Affichage de 8 sur 9 livres