Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

ISBN: 3540002960

ISBN 13: 9783540002963

3.50 of 2

Click the button below to register a free account and download the file

*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.

library.ardhindie.com