Прикладные методы верификации программ

Книга двух английских авторов, ученого и журналиста, в увлекательной форме рассказывает о современно..

180.00 р.

Книга является введением в операционную систему ДОС ЕС, которая использовалась на младших моделях Ед..

180.00 р.

В книге формулируются принципы системного подхода к проектированию системы, позволяющей автоматизиро..

460.00 р.

Тираж 2760 экземпляров. Описывается входной язык для вычислительной машины ,близкий по своей структу..

360.00 р.