Knygos pagal Klaus Schneider
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Verification of Reactive Systems: Formal Methods and Algorithms
63,51 €
84,68 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
Verification of Reactive Systems: Formal Methods and Algorithms
63,51 €
84,68 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
80,44 €
107,25 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją