Zohar Manna
Articles populaires de Zohar Manna
Afficher toutes les offres-
Mathematical Theory of Computation
Manna, Zohar
Prix des articles à partir de
Afficher les 32 offresEUR 12,37
-
Logical Basis for Computer Programming: Deductive Reasoning
Manna, Zohar; Waldinger, Richard
Prix des articles à partir de
Afficher les 9 offresEUR 12,20
Rechercher également
Ancien ou d'occasion -
Lectures on the Logic of Computer Programming
Manna, Zohar
Prix des articles à partir de
Afficher les 3 offresEUR 10,60
-
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 32 offresEUR 17,63
-
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 13 offresEUR 30,48
-
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 5 offresEUR 42,45
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 1 offreEUR 5,34
Rechercher également
Ancien ou d'occasion
Vous avez consulté 8 des 9 ouvrages