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 8 ofertasEUR 2,58
-
Temporal Verification of Reactive Systems: Safety
Pnueli, Amir; Manna, Zohar
Precios de los artículos a partir de
Ver 30 ofertasEUR 4,61
-
Introduction to Mathematical Theory of Computation (Computer Science S.)
Manna, Zohar
Precios de los artículos a partir de
Ver 30 ofertasEUR 12,90
-
The Temporal Logic of Reactive and Concurrent Systems Specification
Manna, Zohar; Pnueli, Amir
Precios de los artículos a partir de
Ver 15 ofertasEUR 30,11
-
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
-
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 15 ofertasEUR 3,99
-
Deductive Foundations of Computer Programming, The
Zohar, Manna; Richard, Waldinger
Precios de los artículos a partir de
Ver 7 ofertasEUR 40,33
Encuentra también
Antiguos o usados
