Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

1370

Купить

Краткое содержание:

Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

Name: Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие
Rating: 4.5

Год:

1998

Язык:

Русский

Описание:

Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие / С.-Петерб. гос. ун-т, Мат.-мех. фак.; [Сост. доц. И.П.Соловьев]. - СПб. : Изд-во СПбГУ, 1998. - 29,[2] с. : схем. ; 20 см. - Библиогр. в конце кн. (16 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Абстрактные алгебры → Руководства, пособия и т.п. для высшей школы

Примечания:

Библиогр. в конце кн. (16 назв.)

Автор (ред., сост., организация):

Петербургский ун-т. Мат.-мех. факультет

Другие ответственные лица:

Соловьев, И. П. → Составитель

Дата создания:

2020-03-22 17:58:20

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, ГП Одесский морской торговый порт

Одесская область, Одесса, Приморский район
Ланжероновский Спуск, 2
Расположение на карте

Пн: 08:30-17:30
Вт: 08:30-17:30
Ср: 08:30-17:30
Чт: 08:30-17:30
Пт: 08:30-17:30

+380 (48) 729-38-94 +380 (48) 729-37-22

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная библиотека, г. Краснознаменск

Московская область, ЗАТО Краснознаменск городской округ, Краснознаменск
Победы, 9а
Расположение на карте

санитарный день: последний чт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-20:00
Вс: 12:00-20:00

www.bibliokras.ru

+7 (498) 676-16-67

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Львовская детская библиотека

Московская область, Подольск городской округ, Подольск, Львовский м-н
Строителей, 24
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00

+7 (4967) 60-59-49

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, станица Азовская

Краснодарский край, Северский район, ст-ца Азовская
Речная, 2
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-17:00
Вс: 10:00-17:00

+7 (86166) 5-12-12

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, пос. Бабино

Нижегородская область, Дзержинск городской округ, пос. Бабино
8 Марта, 32
Расположение на карте

Вт: 10:00-14:00

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека, г. Семилуки

Воронежская область, Семилукский район, Семилуки
Газовая, 3
Расположение на карте

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00

+7 (47372) 2-46-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, МБУК, г. Прокопьевск

Кемеровская область, Прокопьевский городской округ, Прокопьевск, Рудничный
10-й микрорайон, 7
Расположение на карте

санитарный день: последний день месяца; зимний период: пн-пт 9:00-17:00; сб выходной; вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00

+7 (3846) 660-456

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская детская библиотека №22

Алтайский край, Барнаул городской округ, Барнаул, Ленинский район, Докучаево
Шукшина, 1
Расположение на карте

санитарный день: 15 число месяца; летний период: вс выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-17:00

citylib-barnaul.ru

+7 (3852) 522-889

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Лугоболотная сельская библиотека

Кировская область, Оричевский район, пос. Юбилейный
Юбилейный пос, 32
Расположение на карте

Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00

orichi-cbs1.ucoz.ru/index/lugobolotnaja_sbf/0-36

+7 (83354) 6-16-72

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека

Республика Татарстан, Казань городской округ, Казань, Вахитовский район
Большая Красная, 54
Расположение на карте

санитарный день: последний пн месяца; зимний период: пн-вт, чт-пт, вс 9:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00

+7 (843) 236-16-42

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, ГП Одесский морской торговый порт

Одесская область, Одесса, Приморский район
Ланжероновский Спуск, 2
Расположение на карте

Пн: 08:30-17:30
Вт: 08:30-17:30
Ср: 08:30-17:30
Чт: 08:30-17:30
Пт: 08:30-17:30

+380 (48) 729-38-94 +380 (48) 729-37-22

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная библиотека, г. Краснознаменск

Московская область, ЗАТО Краснознаменск городской округ, Краснознаменск
Победы, 9а
Расположение на карте

санитарный день: последний чт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-20:00
Вс: 12:00-20:00

www.bibliokras.ru

+7 (498) 676-16-67

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Львовская детская библиотека

Московская область, Подольск городской округ, Подольск, Львовский м-н
Строителей, 24
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00

+7 (4967) 60-59-49

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, станица Азовская

Краснодарский край, Северский район, ст-ца Азовская
Речная, 2
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-17:00
Вс: 10:00-17:00

+7 (86166) 5-12-12

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, пос. Бабино

Нижегородская область, Дзержинск городской округ, пос. Бабино
8 Марта, 32
Расположение на карте

Вт: 10:00-14:00

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека, г. Семилуки

Воронежская область, Семилукский район, Семилуки
Газовая, 3
Расположение на карте

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00

+7 (47372) 2-46-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, МБУК, г. Прокопьевск

+7 (3846) 660-456

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская детская библиотека №22

Алтайский край, Барнаул городской округ, Барнаул, Ленинский район, Докучаево
Шукшина, 1
Расположение на карте

citylib-barnaul.ru

+7 (3852) 522-889

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Лугоболотная сельская библиотека

Кировская область, Оричевский район, пос. Юбилейный
Юбилейный пос, 32
Расположение на карте

Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-19:00

orichi-cbs1.ucoz.ru/index/lugobolotnaja_sbf/0-36

+7 (83354) 6-16-72

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека

+7 (843) 236-16-42

Показать номер

Информация от пользователей

Азат Нагирян

Формальные спецификации вычислительных систем. Машины абстрактных состояний (Машины Гуревича) : Учеб.-метод. пособие / А.Н. Чудовский, Е.Д. еньков, М.В. Иванов ; Рос. акад. наук, Ин-т систем информатики им. А. П. Ершова. - Москва : ИСИН, 2000. - 80 с. : ил., табл., схем. - (Информационные технологии в естественных науках). - Библиогр.: с. 79-80. - ISBN 5-9545-0054-8: 96.00. Изображения -- 1. Машина Гуревича. 2. Вычислительная система. 3. Компьютер. 4. Язык программирования. 5. Языки программирования высокого уровня. 6. Машинный язык. 7. Система автоматического программирования. 8. Процессоры.