Computer Aided Verification
12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings
Autor:
E. Allen Emerson, A. Prasad Sistla
Dostupnost:
Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
2 567
Kč
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide...
