В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов...
В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети».
Однажды вечером к ежихе Хвоинке пришла гостья... Эти стихи всемирно известной шведской писательницы Лены Андерсон перевёл на русский язык замечательный поэт Михаил Яснов. Для тех, кто учится считать и любит рассматривать картинки!
Издательство:
Белая ворона
Дата выхода: декабрь 2018
В комплекте набор карточек и брошюра.Набор карточек поможет детям создать собственные игры, мультики и забавные истории в среде Scratch: музыкальную открытку, интерактивный аквариум, фильм о приключениях котенка, игру "Понг" и другие интересные проекты. На лицевой стороне каждой карточки есть картинка с результатом. На обороте показано, как собрать блоки кода. В брошюре доступно объясняется, как...
Учебник составлен в соответствии с ФГОС СПО по специальности 31.02.01 "Лечебное дело". Каждая тема содержит теоретический и практический материал с алгоритмами выполнения манипуляций, глоссарий, контрольные вопросы, задания в тестовой форме, ситуационные задачи с эталонами ответов. Освещены общие принципы обследования пациентов с клиническими проявлениями основных заболеваний хирургического профиля....
Издательство:
ГЭОТАР-Медиа
Дата выхода: январь 2018
Оставить комментарий