Zohar Manna
Articles populaires de Zohar Manna
Afficher toutes les offres-
Mathematical Theory of Computation
Manna, Zohar
Prix des articles à partir de
Afficher les 31 offresEUR 6,73
-
Logical Basis for Computer Programming: Deductive Reasoning
Manna, Zohar; Waldinger, Richard
Prix des articles à partir de
Afficher les 8 offresEUR 9,57
Rechercher également
Ancien ou d'occasion -
Studies in Automatic Programming Logic
Prix des articles à partir de
Afficher les 2 offresEUR 8,96
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,68
-
Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 29 offresEUR 15,09
-
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Prix des articles à partir de
Afficher les 13 offresEUR 31,06
-
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 6 offresEUR 42,59
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 6 offresEUR 46,22
Rechercher également
Neuf
Vous avez consulté 8 des 9 ouvrages