Computer Aided Verification Georg Weissenbacher

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