Computer Aided Verification Orna Grumberg

Jordan Dean Computer Aided Verification: Techniques and Applications (Hardback)
Jordan Dean Computer Aided Verification: Techniques and Applications (Hardback)
34 790₽
Computer Aided Verification Pt 2
Computer Aided Verification Pt 2
10 790₽
Computer-Aided Verification: A Special Issue of Formal Methods In System Desig..
Computer-Aided Verification: A Special Issue of Formal Methods In System Desig..
4 890₽
Computer Aided Verification 5th International Conference 1993 Ships Free
Computer Aided Verification 5th International Conference 1993 Ships Free
9 790₽
Computer Aided Verification
Computer Aided Verification
12 090₽
Computer Aided Verification
Computer Aided Verification
14 290₽
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh,
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh,
5 190₽
Computer-Aided Verification Of Coordinating Processes: The Automata-Theoret...
Computer-Aided Verification Of Coordinating Processes: The Automata-Theoret...
13 790₽
Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick
Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick
3 890₽
Computer-Aided Verification Of Coordinating Processes: The Automata-Theoret...
Computer-Aided Verification Of Coordinating Processes: The Automata-Theoret...
31 990₽
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, C
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, C
8 090₽
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Pete
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Pete
15 690₽
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic...
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic...
7 990₽
Computer Aided Verification: PAPERBACK 2024th Edition by Arie Gurfinkel
Computer Aided Verification: PAPERBACK 2024th Edition by Arie Gurfinkel
12 590₽
Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Can
Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Can
8 390₽
Computer Aided Verification: PAPERBACK 2024th Edition by Arie Gurfinkel
Computer Aided Verification: PAPERBACK 2024th Edition by Arie Gurfinkel
12 590₽
Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (L
Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (L
9 190₽
Computer Aided Verification: 27th International Conference, CAV 2015, San Franci
Computer Aided Verification: 27th International Conference, CAV 2015, San Franci
13 090₽
Handbook of Computer Aided Verification by Jordan Dean Hardcover Book
Handbook of Computer Aided Verification by Jordan Dean Hardcover Book
35 190₽
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea...
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea...
12 590₽
Computer-Aided Verification: A Special Issue Of Formal Methods In System De...
Computer-Aided Verification: A Special Issue Of Formal Methods In System De...
34 090₽
Parthasarathy - Computer Aided Verification 24th International Conf - S9000z
Parthasarathy - Computer Aided Verification 24th International Conf - S9000z
13 790₽
Lahiri - Computer Aided Verification 32nd International Conference - S9000z
Lahiri - Computer Aided Verification 32nd International Conference - S9000z
11 590₽
Computer Aided Verification: 31st International Conference, Cav 2019, New...
Computer Aided Verification: 31st International Conference, Cav 2019, New...
8 890₽
Hardware Verification with C: A Practitioners Handbook - Hardcover - GOOD
Hardware Verification with C: A Practitioners Handbook - Hardcover - GOOD
1 790₽
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA
14 990₽
Computer Aided Verification by Vizel, Yakir
Computer Aided Verification by Vizel, Yakir
14 790₽
Gopalakrishnan - Computer Aided Verification 23rd International Con - S9000z
Gopalakrishnan - Computer Aided Verification 23rd International Con - S9000z
13 790₽
Chaudhuri - Computer Aided Verification 28th International Conferen - S9000z
Chaudhuri - Computer Aided Verification 28th International Conferen - S9000z
13 690₽
Chaudhuri - Computer Aided Verification 28th International Conferen - S9000z
Chaudhuri - Computer Aided Verification 28th International Conferen - S9000z
13 690₽
Emerson - Computer Aided Verification 12th International Conference - S9000z
Emerson - Computer Aided Verification 12th International Conference - S9000z
26 090₽
Silva - Computer Aided Verification 33rd International Conference, - S9000z
Silva - Computer Aided Verification 33rd International Conference, - S9000z
12 690₽
Silva - Computer Aided Verification 33rd International Conference, - S9000z
Silva - Computer Aided Verification 33rd International Conference, - S9000z
12 690₽
Computer Aided Verification by Vizel, Yakir
Computer Aided Verification by Vizel, Yakir
13 390₽
Kroening - Computer Aided Verification 27th International Conferenc - S9000z
Kroening - Computer Aided Verification 27th International Conferenc - S9000z
13 590₽
Lahiri - Computer Aided Verification 32nd International Conference, - S9000z
Lahiri - Computer Aided Verification 32nd International Conference, - S9000z
11 590₽
Damm - Computer Aided Verification 19th International Conference, C - S9000z
Damm - Computer Aided Verification 19th International Conference, C - S9000z
13 690₽
Dillig - Computer Aided Verification 31st International Conference, - S9000z
Dillig - Computer Aided Verification 31st International Conference, - S9000z
14 890₽
Dillig - Computer Aided Verification 31st International Conference, - S9000z
Dillig - Computer Aided Verification 31st International Conference, - S9000z
14 890₽
Computer Aided Verification - 9783030816841
Computer Aided Verification - 9783030816841
8 290₽
Halbwachs - Computer Aided Verification 11th International Conferen - S9000z
Halbwachs - Computer Aided Verification 11th International Conferen - S9000z
13 690₽
Computer Aided Verification - 9783030816872
Computer Aided Verification - 9783030816872
8 290₽
Chockler - Computer Aided Verification 30th International Conferenc - S9000z
Chockler - Computer Aided Verification 30th International Conferenc - S9000z
14 890₽
Chockler - Computer Aided Verification 30th International Conferenc - S9000z
Chockler - Computer Aided Verification 30th International Conferenc - S9000z
14 890₽
Computer Aided Verification Azadeh Farzan (u. a.) Taschenbuch xvii Englisch 2016
Computer Aided Verification Azadeh Farzan (u. a.) Taschenbuch xvii Englisch 2016
11 690₽
Computer Aided Verification: 31st International Conference, CAV 2019, New York C
Computer Aided Verification: 31st International Conference, CAV 2019, New York C
8 890₽
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, Fra
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, Fra
6 990₽
Computer Aided Verification
Computer Aided Verification
1 990₽
Computer Aided Verification | Fabio Somenzi (u. a.) | Taschenbuch | Paperback
Computer Aided Verification | Fabio Somenzi (u. a.) | Taschenbuch | Paperback
11 690₽
K. Rustan M. Leino (u. a.) | Computer Aided Verification | Taschenbuch (2021)
K. Rustan M. Leino (u. a.) | Computer Aided Verification | Taschenbuch (2021)
9 590₽
Computer Aided Verification: 20th International Conferen... | Buch | Zustand gut
Computer Aided Verification: 20th International Conferen... | Buch | Zustand gut
1 590₽
Computer Aided Verification Chao Wang (u. a.) Taschenbuch xvii Englisch 2020
Computer Aided Verification Chao Wang (u. a.) Taschenbuch xvii Englisch 2020
9 590₽
K. Rustan M. Leino (u. a.) | Computer Aided Verification | Taschenbuch (2021)
K. Rustan M. Leino (u. a.) | Computer Aided Verification | Taschenbuch (2021)
9 590₽
Computer Aided Verification | Akash Lal (u. a.) | Taschenbuch | Paperback | xvi
Computer Aided Verification | Akash Lal (u. a.) | Taschenbuch | Paperback | xvi
9 590₽
Computer Aided Verification Chao Wang (u. a.) Taschenbuch xviii Englisch 2020
Computer Aided Verification Chao Wang (u. a.) Taschenbuch xviii Englisch 2020
9 590₽
Thomas Henzinger (u. a.) | Computer Aided Verification | Taschenbuch | Englisch
Thomas Henzinger (u. a.) | Computer Aided Verification | Taschenbuch | Englisch
11 790₽
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Pete
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Pete
7 590₽
Computergestützte Verifizierung - 9783030816841
Computergestützte Verifizierung - 9783030816841
11 890₽
Computergestützte Verifizierung - 9783031131875
Computergestützte Verifizierung - 9783031131875
11 990₽
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird,
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird,
9 090₽
Computer Aided Verification | Akash Lal (u. a.) | Taschenbuch | Paperback | xvi
Computer Aided Verification | Akash Lal (u. a.) | Taschenbuch | Paperback | xvi
9 590₽
Computer Aided Verification Sanjit A. Seshia (u. a.) Taschenbuch xvi Englisch
Computer Aided Verification Sanjit A. Seshia (u. a.) Taschenbuch xvi Englisch
11 690₽
Computer Aided Verification | Pierre Wolper | Taschenbuch | Paperback | xii
Computer Aided Verification | Pierre Wolper | Taschenbuch | Paperback | xii
11 690₽
David K. Probst (u. a.) | Computer Aided Verification | Taschenbuch | Englisch
David K. Probst (u. a.) | Computer Aided Verification | Taschenbuch | Englisch
11 790₽
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh,
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh,
14 890₽
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton,
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton,
31 590₽
В данном разделе представлены товары, похожие на computer aided verification orna grumberg купить которые можно с доставкой из Германии в Россию (Москва, Санкт-Петербург и другие города).
Смотрите нас на
VK Video
Размеры обуви и одежды Тарифы на доставку
Наверх