Specification based testing of real-time distributed systems: languages, tools and applications

Подборка книг с обложками, описаниями и будущим выбором магазинов для покупки или чтения.