Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings
Autor:
Pierre Wolper
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat...
