Computer Aided Verification Gerard Berry

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