Verification of Reactive Systems: Formal Methods and Algorithms Texts in Theoretical Computer Science. An EATCS Series Autor Klaus Schneider 8 dec 2010 Paperback Preț: 335.11 lei 418.89 lei 6-8 săpt. -20%
