Нравится LibRing?
Расскажи друзьям:
Beatrice Berard, Michel Bidoit, Alain Finkel, Francois Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie

Systems and Software Verification: Model-Checking Techniques and Tools

Книгу можно купить в интернет-магазинах:

· OZON.ru 8428р. [Проверить наличие]
ISBN: 3540415238
Издательство: Springer-Verlag