Шоколад для похудения Chocolate Slim - позволит вам наслаждаться вкусом шоколада и при этом терять вес! Цена товара в России всего 590 рублей. ...
Автоматное программирование
Электронная книга
- Автор: Надежда Поликарпова
- Издатель: Питер
- Год: 2011
- ISBN: 978-5-4237-0075-1
- Цена: 58 Руб.
Человек силен знанием, и книга - вечный носитель ценных сведений. Но не только это... И это блестящий образец того типа литературы, которая дает новые сведения из разных областей, в том числе помогает увидеть новые пути к получению информации - "Автоматное программирование"
В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети».
Выражаем надежду, что "Автоматное программирование" вооружит вас знаниями и поможет познать и изменить некоторые особые аспекты бытия.