Zohar Manna – författare

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

8 produkter

Kategorier

8 produkter

Temporal Verification of Reactive Systems
Safety
AvZohar Manna,Amir Pnueli
Inbunden, Engelska, 1995
1 479 kr
Skickas inom 10-15 vardagar
Temporal Logic of Reactive and Concurrent Systems
Specification
AvZohar Manna,Amir Pnueli
Inbunden, Engelska, 1991
1 629 kr
Skickas inom 10-15 vardagar
Mathematical Theory of Computation
AvZohar Manna
Häftad, Engelska, 2003
379 kr
Skickas inom 3-6 vardagar
Lectures on the Logic of Computer Programming
AvZohar Manna
Häftad, Engelska, 1987
769 kr
Skickas inom 5-8 vardagar
Temporal Logic of Reactive and Concurrent Systems
Specification
AvZohar Manna,Amir Pnueli
Häftad, Engelska, 2012
739 kr
Skickas inom 10-15 vardagar
Temporal Verification of Reactive Systems
Safety
AvZohar Manna,Amir Pnueli
Häftad, Engelska, 2012
1 629 kr
Skickas inom 10-15 vardagar
Calculus of Computation
Decision Procedures with Applications to Verification
AvAaron R. Bradley,Zohar Manna
Inbunden, Engelska, 2007
1 109 kr
Skickas inom 10-15 vardagar
Calculus of Computation
Decision Procedures with Applications to Verification
AvAaron R. Bradley,Zohar Manna
Häftad, Engelska, 2010
749 kr
Skickas inom 10-15 vardagar