temporal verification of reactive systems safety by zohar manna amir pnueli

temporal verification of reactive systems safety by zohar manna amir pnueli

Recommended

Manna - Temporal Verification of Reactive Systems Safety - New hardb - T555z

Manna - Temporal Verification of Reactive Systems Safety - New hardb - T555z

$158.08

View Details

Temporal Verification of Reactive Systems: Safety by Zohar Manna (English) Hardc

Temporal Verification of Reactive Systems: Safety by Zohar Manna (English) Hardc

$128.30

View Details

Temporal Verification of Reactive Systems : Safety, Hardcover by Manna, Zohar...

Temporal Verification of Reactive Systems : Safety, Hardcover by Manna, Zohar...

$123.30

View Details

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal L...

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal L...

$185.56

View Details

Temporal Verification of Reactive Systems: Safety by Pnueli, Amir Hardback Book

Temporal Verification of Reactive Systems: Safety by Pnueli, Amir Hardback Book

$18.60

View Details

Temporal Verification of Reactive Systems: Safety, Manna, Zohar,Pnueli, Amir, 97

Temporal Verification of Reactive Systems: Safety, Manna, Zohar,Pnueli, Amir, 97

$28.18

View Details

Temporal Verification Of Reactive Systems: Safety

Temporal Verification Of Reactive Systems: Safety

$120.44

View Details

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

$187.84

View Details

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic

$190.56

View Details

Temporal Verification of Reactive Systems : Safety, Paperback by Manna, Zohar...

Temporal Verification of Reactive Systems : Safety, Paperback by Manna, Zohar...

$134.57

View Details