Zohar Manna
Artículos populares por Zohar Manna
Ver todas las ofertas-
Logical Basis for Computer Programming, Volume 1, The (Addison-Wesley Series in Computer Science)
Manna, Zohar; Waldinger, Richard
Precios de los artículos a partir de
Ver 9 ofertasEUR 2,59
-
Temporal Verification of Reactive Systems: Safety
Pnueli, Amir; Manna, Zohar
Precios de los artículos a partir de
Ver 32 ofertasEUR 4,62
-
Introduction to Mathematical Theory of Computation (Computer Science S.)
Manna, Zohar
Precios de los artículos a partir de
Ver 29 ofertasEUR 12,93
-
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Precios de los artículos a partir de
Ver 17 ofertasEUR 30,18
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Precios de los artículos a partir de
Ver 15 ofertasEUR 46,22
-
Deductive Foundations of Computer Programming, The
Zohar, Manna; Richard, Waldinger
Precios de los artículos a partir de
Ver 6 ofertasEUR 40,68
Encuentra también
Antiguos o usados -
Lectures on the Logic of Computer Programming Paperback: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Manna
Precios de los artículos a partir de
Ver 14 ofertasEUR 49,72
