На данной странице предаставлены все книги автора «K. Schneider»
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science) (Klaus Schneider,K. Schneider)