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 10 ofertasEUR 4,36
Encuentra también
Antiguos o usados -
Introduction to Mathematical Theory of Computation (Computer Science S.)
Manna, Zohar
Precios de los artículos a partir de
Ver 34 ofertasEUR 12,51
-
Temporal Verification of Reactive Systems: Safety
Pnueli, Amir; Manna, Zohar
Precios de los artículos a partir de
Ver 33 ofertasEUR 31,24
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Pnueli, Amir; Manna, Zohar
Precios de los artículos a partir de
Ver 16 ofertasEUR 30,82
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Precios de los artículos a partir de
Ver 13 ofertasEUR 46,22
Encuentra también
Nuevos -
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 9 ofertasEUR 6,17
-
Studies in Automatic Programming Logic
Precios de los artículos a partir de
Ver 1 ofertaEUR 5,40
Encuentra también
Antiguos o usados -
Deductive Foundations of Computer Programming, The
Zohar, Manna; Richard, Waldinger
Precios de los artículos a partir de
Ver 2 ofertasEUR 14,12
Encuentra también
Antiguos o usados
Mostrando 8 de 9 títulos