Temporal Verification Of Reactive Systems Safety

Temporal Verification of Reactive Systems : Safety Zohar, Pnueli,

Temporal Verification of Reactive Systems : Safety Zohar, Pnueli,

4 990₽

TEMPORAL VERIFICATION OF REACTIVE SYSTEMS: SAFETY By Zohar Manna & Amir Pnueli

TEMPORAL VERIFICATION OF REACTIVE SYSTEMS: SAFETY By Zohar Manna & Amir Pnueli

9 890₽

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

-24%

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

27 890₽ 36 874 ₽

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

-24%

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

27 890₽ 36 875 ₽

Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

13 190₽

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

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

22 690₽

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

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

35 390₽

Temporal Verification of Reactive Systems: Safety by Zohar Manna: New

Temporal Verification of Reactive Systems: Safety by Zohar Manna: New

27 890₽

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

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

37 690₽

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

50 490₽

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

45 290₽

SENGIR AUTOCRAT - Foil Time Spiral ''Timeshifted'' CGC 10 GEM MINT 2006

SENGIR AUTOCRAT - Foil Time Spiral ''Timeshifted'' CGC 10 GEM MINT 2006

25 790₽

Amir Pnueli (u. a.) | Temporal Verification of Reactive Systems | Taschenbuch

Amir Pnueli (u. a.) | Temporal Verification of Reactive Systems | Taschenbuch

28 290₽

Verification of Temporal Properties in Embedded Software Djones Lettnin

Verification of Temporal Properties in Embedded Software Djones Lettnin

18 390₽

Advances in Verification of Time Petri Nets and Timed Automata Agata Pólrola

Advances in Verification of Time Petri Nets and Timed Automata Agata Pólrola

42 190₽

Advances in Verification of Time Petri Nets and Timed Automata Agata Pólrola

Advances in Verification of Time Petri Nets and Timed Automata Agata Pólrola

42 190₽

Смотрите нас на

VK Video

Наверх