Zohar Manna – författare

Visar alla böcker från författaren Zohar Manna.

8 produkter

1. 

   Temporal Verification of Reactive Systems

   Safety

   Av Zohar Manna, Amir Pnueli

   Inbunden, 1995

   1449 kr

   Lägg i varukorg

2. 

   Temporal Logic of Reactive and Concurrent Systems

   Specification

   Av Zohar Manna, Amir Pnueli

   Inbunden, 1991

   1589 kr

   Lägg i varukorg

3. 

   Mathematical Theory of Computation

   Av Zohar Manna

   Häftad, 2003

   379 kr

   Lägg i varukorg

4. 

   Lectures on the Logic of Computer Programming

   Av Zohar Manna

   Häftad, 1987

   779 kr

   Lägg i varukorg

5. 

   Temporal Logic of Reactive and Concurrent Systems

   Specification

   Av Zohar Manna, Amir Pnueli

   Häftad, 2012

   729 kr

   Lägg i varukorg

6. 

   Temporal Verification of Reactive Systems

   Safety

   Av Zohar Manna, Amir Pnueli

   Häftad, 2012

   1589 kr

   Lägg i varukorg

7. 

   Calculus of Computation

   Decision Procedures with Applications to Verification

   Av Aaron R. Bradley, Zohar Manna

   Inbunden, 2007

   1089 kr

   Lägg i varukorg

8. 

   Calculus of Computation

   Decision Procedures with Applications to Verification

   Av Aaron R. Bradley, Zohar Manna

   Häftad, 2010

   729 kr

   Lägg i varukorg