Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785388006929

Книга ISBN13 9785388006929 - Автоматное программирование (Поликарпова, Надежда Игоревна, Шалыто, Анатолий Абрамович) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Автоматное программирование
В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям "Прикладная математика и информатика", "Управление и информатика в технических системах"и "Вычислительные машины, системы, комплексы и сети".
Авторы: Поликарпова Надежда, Шалыто Анатолий
Издательство: Питер
Год: 2009
Местонахождение: Лабиринт
ISBN: 978-5-388-00692-9

Где читать эту книгу?

Российские библиотеки и не только

Название: Автоматное программирование
Авторы: Поликарпова, Надежда Игоревна, Шалыто, Анатолий Абрамович
Издательство: СПб.: Питер
Год: 2010
Местонахождение: Алтайская краевая универсальная научная библиотека им. В. Я. Шишкова
ISBN: 978-5-388-00692-9
Название: Автоматное программирование
В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением. основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование.
Авторы: Поликарпова, Надежда Игоревна, Шалыто, Анатолий Абрамович
Издательство: Санкт-Петербург; Москва; Нижний Новгород: Питер
Год: 2009
Местонахождение: Центральная Научная Библиотека Красноярского Научного Центра СО РАН
ISBN: 978-5-388-00692-9


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.