Verification of Reactive Systems: Formal Methods and Algorithms Texts in Theoretical Computer Science. An EATCS Series Autor Klaus Schneider 16 oct 2003 Hardback Preț: 383.84 lei 479.80 lei 38-44 zile -20%
