Verification of Reactive Systems: Formal Methods and Algorithms
Autor Klaus Schneider
16 oct 2003
Hardback
Preț: 383.84 lei 479.80 lei
38-44 zile
-20%
Cărți de Klaus Schneider
Curiosity and Exploration
Editat de Heidi Keller et al.
28 iun 1994
Paperback
Preț: 377.68 lei
43-57 zile
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Editat de Klaus Schneider et al.
28 aug 2007
Paperback
Preț: 327.04 lei 408.80 lei
43-57 zile
-20%