Самоучитель по: Книга: «Самоучитель по бухгалтерскому учету» — Николай Кондраков. Купить книгу, читать рецензии | ISBN 978-5-3923-6286-8

Содержание

Книга «Самоучитель по ораторскому искусству» Зенкин И В

  • Книги
    • Художественная литература
    • Нехудожественная литература
    • Детская литература
    • Литература на иностранных языках
    • Путешествия. Хобби. Досуг
    • Книги по искусству
    • Биографии.
      Мемуары. Публицистика
    • Комиксы. Манга. Графические романы
    • Журналы
    • Печать по требованию
    • Книги с автографом
    • Книги в подарок
    • «Москва» рекомендует
    • Авторы • Серии • Издательства • Жанр

  • Электронные книги
    • Русская классика
    • Детективы
    • Экономика
    • Журналы
    • Пособия
    • История
    • Политика
    • Биографии и мемуары
    • Публицистика
  • Aудиокниги
    • Электронные аудиокниги
    • CD – диски
  • Коллекционные издания
    • Зарубежная проза и поэзия
    • Русская проза и поэзия
    • Детская литература
    • История
    • Искусство
    • Энциклопедии
    • Кулинария. Виноделие
    • Религия, теология
    • Все тематики
  • Антикварные книги
    • Детская литература
    • Собрания сочинений
    • Искусство
    • История России до 1917 года
    • Художественная литература.
      Зарубежная
    • Художественная литература. Русская
    • Все тематики
    • Предварительный заказ
    • Прием книг на комиссию
  • Подарки
    • Книги в подарок
    • Авторские работы
    • Бизнес-подарки
    • Литературные подарки
    • Миниатюрные издания
    • Подарки детям
    • Подарочные ручки
    • Открытки
    • Календари
    • Все тематики подарков
    • Подарочные сертификаты
    • Подарочные наборы
    • Идеи подарков
  • Канцтовары
    • Аксессуары делового человека
    • Необычная канцелярия
    • Бумажно-беловые принадлежности
    • Письменные принадлежности
    • Мелкоофисный товар
    • Для художников
  • Услуги
    • Бонусная программа
    • Подарочные сертификаты
    • Доставка по всему миру
    • Корпоративное обслуживание
    • Vip-обслуживание
    • Услуги антикварно-букинистического отдела
    • Подбор и оформление подарков
    • Изготовление эксклюзивных изданий
    • Формирование семейной библиотеки

Расширенный поиск

Зенкин И. В.

Иллюстрации

Рекомендуем посмотреть

Дубинин Ю. В.

Мастерство переговоров. Учебник. 6-е издание

598 ₽

720 ₽ в магазине

Купить

Толстой Л. Н.

Не могу молчать. Статьи о войне, насилии, любви, безверии и непротивлении злу. Предисловие Павла Басинского

465 ₽

560 ₽ в магазине

Купить

Толстой Л. Н.

Не могу молчать. Статьи о войне, насилии, любви, безверии и непротивлении злу. Предисловие Павла Басинского

515 ₽

620 ₽ в магазине

Купить

Новинка

Грэй Д.

Кошачья философия. Кошки и смысл жизни

432 ₽

520 ₽ в магазине

Купить

Лем С.

Философия случая

1 311 ₽

1 580 ₽ в магазине

Купить

Гегель Г. В. Ф.

Логика

249 ₽

300 ₽ в магазине

Купить

Фиделер Д.

Завтрак с Сенекой. Как улучшить качество жизни с помощью учения стоиков

694 ₽

810 ₽ в магазине

Купить

Сунь-Цзы

Искусство войны

1 726 ₽

2 080 ₽ в магазине

Купить

Аврелий М. А., Эпиктет, Сенека

О счастливой жизни

729 ₽

850 ₽ в магазине

Купить

Достоевский Ф. М.

Запад против России

573 ₽

690 ₽ в магазине

Купить

Эпиктет

Энхиридион. Краткое руководство к нравственной жизни. Симпликий.Комментарий на «Энхиридион» Эпиктета. 2-е издание

1 253 ₽

1 510 ₽ в магазине

Купить

Стеркс Р.

Китайская мысль: от Конфуция до повара Дина

913 ₽

1 100 ₽ в магазине

Купить

Фанон Ф.

Черная кожа, белые маски

830 ₽

1 000 ₽ в магазине

Купить

Ницше Ф. В.

По ту сторону добра и зла

191 ₽

230 ₽ в магазине

Купить

Чаадаев П. Я.

Философические письма

191 ₽

230 ₽ в магазине

Купить

Дугин А. Г.

Бытие и Империя. Онтология и эсхатология Вселенского Царства

1 477 ₽

1 780 ₽ в магазине

Купить

Сунь-Цзы

Искусство войны. Вся война основана на лжи

158 ₽

190 ₽ в магазине

Купить

Хайдеггер М.

Заметки I-V (Черные тетради, 1942-1948)

896 ₽

1 080 ₽ в магазине

Купить

Фромм Э.

Иметь или быть?

274 ₽

330 ₽ в магазине

Купить

Ницше Ф. В.

Так говорил Заратустра

199 ₽

240 ₽ в магазине

Купить

Загрузить еще

Самоучитель по рисованию маркерами, линерами и фломастерами

Autor Шматова О.

0 viiest

0 hinnangut

Hinda

Tarne 7 tööpäeva

12,30 €

Tavahind: 12,95 €

Saadavus kauplustes

Читателям предлагается современный самоучитель, представляющий собой уникальное собрание художественных приемов рисования маркерами, линерами и фломастерами. Эта книга бесценна для тех, кто только начал рисовать, и полезна тем, кто уже рисует ими давно и серьезно. Готовые приемы позволяют начинающим художникам развиваться как творчески, так и технически, экономя время и силы для дальнейшего профессионального роста.Эффективная наглядная и современная методика обучения, легшая в основу этой книги, направлена на раскрытие природного потенциала и дает возможность овладеть простыми и доступными художественными навыками.

Tarne 7 tööpäeva

12,30 €

Tavahind: 12,95 €

Saadavus kauplustes

Vaata rohkem

Основы. Полный гид по рисованию

ACT

26,55 € Tavahind: 27,95 €

Основы каллиграфии и леттеринга

ACT

34,15 € Tavahind: 35,95 €

Полный самоучитель рисования

Владиc

30,35 € Tavahind: 31,95 €

Рисование.

Подробный курс для будущих художников

Владиc

30,35 € Tavahind: 31,95 €

Манга. Основы и техники для начинающих

ACT

34,15 € Tavahind: 35,95 €

МОРФО. Анатомия для художников

Мишель Лауричелла

27,50 € Tavahind: 28,95 €

Пишем маслом на пленэре. Вдохновляющее руководство по живописи на открытом воздухе

Хейди-Джо Саммерс

30,35 € Tavahind: 31,95 €

Суперкурс по рисованию для продвинутых

Грей Мистер

18,95 € Tavahind: 19,95 €

Цвет и свет

Джеймс Гарни

33,20 € Tavahind: 34,95 €

Учимся рисовать лица и эмоции.

Руководство по рисованию головы человека

Кристофер Харт

19,90 € Tavahind: 20,95 €

Сияние акварели. Как поймать свет и цвет с помощью кисти

Джин Хэйнс

37,95 € Tavahind: 39,95 €

Простое рисование: фигура человека. Упражнения для практики набросков с натуры и без

Горелышев Д.

33,20 € Tavahind: 34,95 €

Голова человека: как рисовать.

Авторская методика из 6 этапов

Манн, Иванов и Фербер

37,95 € Tavahind: 39,95 €

Живые цветы акварелью. Идеи для рисования, техники, практические советы

Джин Хэйнс

36,05 € Tavahind: 37,95 €

Учимся рисовать акварелью с нуля. 25 пошаговых мастер-классов для начинающих

Джови Меррил

21,80 € Tavahind: 22,95 €

Основы скульптуры для начинающих

ACT

9,45 € Tavahind: 9,95 €

Полный курс рисования и живописи

ACT

35,10 € Tavahind: 36,95 €

Рисуем фантастических существ

ACT

9,45 € Tavahind: 9,95 €

Учебное пособие Определение и значение — Merriam-Webster

1 из 2

ту·​то·ри·ал tü-tȯr-ē-əl

tyü-

1

: бумага, книга, фильм или компьютерная программа, которые предоставляют практическую информацию по определенному предмету количество учеников

учебное пособие

2 из 2

: относящийся к репетитору или учебному пособию или связанный с ним

Знаете ли вы?

Учебники с репетиторами в реальном времени полезны как для продвинутых учеников, так и для тех, кто испытывает трудности. Многие компьютерные программы включают в себя электронные обучающие программы, помогающие новому пользователю привыкнуть к программе, проводящие его или ее по всем ее функциям, часто с помощью изображений и коротких видеороликов. Но для полного понимания действительно сложной программы может потребоваться репетитор из реальной жизни.

Примеры предложений

Существительное Онлайн учебник дает основные инструкции по использованию программного обеспечения. Профессор предлагал учебник в своем кабинете за неделю до экзамена. Прилагательное Мы предлагаем учебник инструкция для студентов, готовящихся к экзамену.

Последние примеры в Интернете

Сделайте свои собственные праздничные крекеры (также известные как хлопушки для вечеринок в США) с помощью этого простого руководства из Детства 101. — Ли Крэндалл, 9 лет.0035 Загородная жизнь , 1 января 2023 г. Для шитья, вот краткое руководство по простому стежку, который придаст вам тот же вид, что и нашивка на штанах Джиджи. — Эбби Дупес, Seventeen , 4 ноября 2022 г. Тем не менее, курс не является пошаговым учебником . —Брайан Смит, Outside Online , 26 октября 2022 г. Скиппи умирает — учебник в умении находить смех в безрадостности взросления. — Исаак Фицджеральд, The Atlantic , 10 августа 2022 г. Для горожан, не уверенных в том, что им нужно находиться в дикой природе, новая программа Outdoors 101 представляет собой повседневное обучение навыкам на открытом воздухе, таким как разведение костра или чтение карт маршрутов. — Кристин Хансен, Путешествия + Отдых , 10 марта 2022 г. Худший грех этой игры — 7-8 часов tutorial до начала остальной части игры. —Элиз Фавис, Washington Post , 11 ноября 2020 г. Возьмите пример из этого руководства и наполните свое дерево очаровательными резиновыми утятами или упакуйте свое все, что вызовет восторг у вашей семьи — сладости, подарочные карты, конфеты и т. д. — Джессика Ли Маттерн, Country Living , 30 ноября 2022 г. Обмен привел к импровизированной учебник на филадельфийском сленге. — Мелисса Корн, WSJ , 9 ноября 2022 г.

Элементы управления интуитивно понятны; обучающих уровней знакомят с игровой механикой; красочные визуальные эффекты дают подсказки; и интерфейс объясняется простым языком. — Эд Йонг, 9 лет0035 Журнал Discover , 18 сентября 2011 г. Рассмотрите возможность использования простых материалов tutorial и интуитивно понятных пользовательских интерфейсов для разработчиков. — Ник Черукури, Forbes , 11 октября 2022 г. В Месяце латиноамериканского наследия Диас рассказывает о своем опыте кубинской иммигрантки, изучении английского языка с помощью видеоуроков по макияжу и видео, а также о том, как ее родители помогли вдохновить ее кубинскую гордость и трудовую этику. — Как рассказали Даниэль Синай, 9 лет.0035 Гламур , 11 октября 2022 г. Откройте программное обеспечение и нажмите «Шаблоны», чтобы увидеть несколько проектов учебников , чтобы намочить ноги. — Рис Роджерс, , WIRED , 18 сентября 2022 г. Скомпилируйте обучающих постов и поместите их в качестве основных моментов. — Кэндис Георгиадис, Forbes , 20 мая 2022 г. И хотя демонстрация на месте едва вышла за рамки tutorial , привлекательность основного игрового цикла была очевидна. — Кайл Орланд, Ars Technica , 29 апреля 2022 г. Еще когда были продемонстрированы первые изображения нового устройства, другой наблюдатель за кодом нашел обучающих видео видео, которые совпадали с изображениями, которыми поделился Босворт. — Адарио Стрэндж, Кварц , 8 июля 2022 г. Принимая во внимание, что создание и распространение серии из учебник видео для той же функции видеомаркетинга. — Рагхаван Р., Forbes , 13 июня 2022 г. Узнать больше

Эти примеры предложений автоматически выбираются из различных онлайн-источников новостей, чтобы отразить текущее использование слова «учебник». Мнения, выраженные в примерах, не отражают точку зрения Merriam-Webster или ее редакторов. Отправьте нам отзыв.

История слов

Первое известное использование

Существительное

1923, в значении, определенном во втором смысле

Прилагательное

1822, в значении, определенном выше

Путешественник во времени

4 Первое известное использование учебника

было в 1822 г.

Посмотреть другие слова того же года

Словарные статьи Около

учебник

наставничество

руководство

без наставника

Посмотреть другие записи поблизости

Процитировать эту запись «Руководство.

» Словарь Merriam-Webster.com , Merriam-Webster, https://www.merriam-webster.com/dictionary/tutorial. Доступно 9Январь 2023 г.

Копировать цитату

Kids Definition

учебник

1 из 2 прилагательное

ту·​то·ри·ал t(y)ü-ˈtōr-ē-əl

-ˈtȯr-

: репетитор или учебник

учебник

2 из 2 существительное

: бумага, книга, фильм или компьютерная программа, которая дает практическую информацию по предмету0003

Britannica English: перевод учебника для говорящих на арабском языке

Britannica. com: статья в энциклопедии о учебнике

Последнее обновление: — Обновлены примеры предложений

Подпишитесь на крупнейший словарь Америки и получите тысячи дополнительных определений и расширенный поиск без рекламы!

Merriam-Webster без сокращений

Учебник по Uppaal | SpringerLink

  1. Aceto, L., Bouyer, P., Burgueño, A., Larsen, K.G.: Возможности тестирования достижимости для автоматов с синхронизацией. Теоретическая информатика 1–3(300), 411–475 (2003)

    CrossRef Google ученый

  2. Ацето, Л., Бургеньо, А., Ларсен, К.Г.: Проверка модели с помощью проверки достижимости для автоматов с таймером. В: Штеффен, Б. (ред.) TACAS 1998. LNCS, том. 1384, стр. 263–280. Springer, Heidelberg (1998)

    CrossRef Google ученый

  3. Алур, Р., Куркубетис, К., Дилл, Д.Л.: Проверка моделей для систем реального времени. В: 5-й симпозиум по логике в компьютерных науках (LICS 1990), стр. 414–425 (1990)

    . Google ученый

  4. Алур, Р., Дилл, Д.Л.: Автоматы для моделирования систем реального времени. В: Патерсон, М. (ред.) ICALP 19.90. LNCS, том. 443, стр. 322–335. Springer, Heidelberg (1990)

    CrossRef Google ученый

  5. Амнелл Т., Берманн Г., Бенгтссон Дж., Д’Аргенио П.Р., Дэвид А., Фенкер А., Хьюн Т., Жаннет Б., Ларсен К.Г., Мёллер , М.О., Петтерссон, П., Вайзе, К., Йи, В.: Уппааль — настоящее, будущее и будущее. В: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (ред.) MOVEP 2000. LNCS, vol. 2067, стр. 100–125. Спрингер, Гейдельберг (2001)

    перекрестная ссылка Google ученый

  6. Амнелл Т., Ферсман Э., Мокрушин Л., Петтерссон П., Йи В.: Times – инструмент для моделирования и реализации встроенных систем. В: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, стр. 460–464. Springer, Heidelberg (2002)

    CrossRef Google ученый

  7. Баларин Ф.: Приближенный анализ достижимости автоматов с таймером. В: 17-й симпозиум IEEE по системам реального времени, издательство IEEE Computer Society Press, Лос-Аламитос (1996)

    Google ученый

  8. Берманн, Г.: Структуры данных и алгоритмы для анализа систем реального времени. Кандидатская диссертация, Ольборгский университет (2003 г.)

    Google ученый

  9. «>

    Берманн, Г.: Анализ распределенной достижимости в автоматах с синхронизацией. Программный инструмент для передачи технологий (STTT), в настоящее время доступен в первом онлайн-издании STTT (2004 г.)

    Google ученый

  10. Берманн Г., Бенгтссон Дж., Дэвид А., Ларсен К.Г., Петтерссон П., Йи В.: Секреты реализации Uppaal. В: Учеб. 7-го Международного симпозиума по формальным методам работы в реальном времени и отказоустойчивым системам (2002 г.)

    Google ученый

  11. Берманн, Г., Дэвид, А., Ларсен, К.Г., Мёллер, М.О., Петтерссон, П., Йи, В.: Уппааль – настоящее и будущее. В: Учеб. 40-й конференции IEEE по решениям и управлению, IEEE Computer Society Press, Лос-Аламитос (2001 г.)

    Google ученый

  12. Берманн, Г., Дэвид, А., Ларсен, К.Г., Йи, В.: Унификация и совместное использование при проверке автоматов с синхронизацией. В: Болл, Т., Раджамани, С.К. (ред.) SPIN 2003. LNCS, vol. 2648, стр. 225–229. Springer, Heidelberg (2003)

    CrossRef Google ученый

  13. Берманн, Г., Фенкер, А., Хьюн, Т., Ларсен, К.Г., Петтерссон, П., Ромейн, Дж.: Эффективное руководство по оптимизации затрат в uppaal. В: Margaria, T., Yi, W. (eds.) TACAS 2001. G. Behrmann, A. Fehnker, T. Hune, K.G. Ларсен, П. Петтерссон, Дж. Ромейн, том. 2031, стр. 174–188. Спрингер, Гейдельберг (2001)

    Перекрёстная ссылка Google ученый

  14. Берманн, Г., Фенкер, А., Хьюн, Т., Ларсен, К.Г., Петтерссон, П., Ромейн, Дж., Ваандрагер, Ф.: Достижимость с минимальными затратами для платных автоматов с таймером. В: Di Benedetto, MD, Sangiovanni-Vincentelli, AL (eds.) HSCC 2001. LNCS, vol. 2034, стр. 147–161. Springer, Heidelberg (2001)

    CrossRef Google ученый

  15. «>

    Берманн, Г., Хьюн, Т., Ваандрагер, Ф.: Распределенная проверка модели по времени – как важен порядок поиска. В: Emerson, EA, Sistla, AP (eds.) CAV 2000. LNCS, vol. 1855 г., Спрингер, Гейдельберг (2000 г.)

    Перекрёстная ссылка Google ученый

  16. Берманн, Г., Ларсен, К.Г., Пирсон, Дж., Вайс, К., Йи, В.: Эффективный анализ достижимости по времени с использованием диаграмм разности часов. В: Хальбвакс, Н., Пелед, Д.А. (ред.) CAV 1999. LNCS, vol. 1633, стр. 341–353. Springer, Heidelberg (1999)

    CrossRef Google ученый

  17. Бенгтссон, Дж.: Часы, DBM и состояния в синхронизированных системах. Кандидатская диссертация, Уппсальский университет (2002 г.)

    Google ученый

  18. Бенгтссон, Дж., Йонссон, Б., Лилиус, Дж., Йи, В.: Сокращение частичного порядка для систем с синхронизацией. В: Материалы 9-й Международной конференции по теории параллелизма (сентябрь 1998 г.)

    Google ученый

  19. Бенгтссон, Дж., Ларсен, К.Г., Ларссон, Ф., Петтерссон, П., Ван, Ю., Вайс, К.: Новое поколение uppaal. В: Междунар. Семинар по программным средствам для передачи технологий (19 июня98)

    Google ученый

  20. Берар, Б., Бидуа, М., Финкель, А., Ларуссини, Ф., Пети, А., Петруччи, Л., Шнобелен, П., Маккензи, П.: Верификация систем и программного обеспечения: модель -Проверка методов и инструментов. Спрингер, Гейдельберг (2001)

    МАТЕМАТИКА Google ученый

  21. Боуман, Х., Факонти, Г.П., Катоен, Дж.-П., Лателла, Д., Массинк, М.: Автоматическая проверка алгоритма синхронизации губ с использованием uppaal. В: Groote, B.L.J.F., van Wamel, J. (eds.) Материалы 3-го Международного семинара по формальным методам для промышленных критических систем, Амстердам, Нидерланды (1998)

    Google ученый

  22. «>

    Д’Аргенио, П.Р., Катоен, Ж.-П., Руйс, Т.С., Третманс, Дж.: Протокол ограниченной ретрансляции должен быть вовремя! В: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, стр. 416–431. Springer, Heidelberg (1997)

    CrossRef Google ученый

  23. Дэвид, А.: Иерархическое моделирование и анализ синхронизированных систем. Кандидатская диссертация, Уппсальский университет (ноябрь 2003 г.)

    Google ученый

  24. Дэвид А., Берманн Г., Ларсен К.Г., Йи В.: Новая архитектура uppaal. В: Петтерссон, П., Йи, В. (ред.) Семинар по инструментам реального времени. Серия технических отчетов Уппсальского университета (2002 г.)

    Google ученый

  25. Дэвид А., Берманн Г., Ларсен К.Г., Йи В.: Архитектура инструмента для следующего поколения uppaal. В: Коллоквиум к 10-летию. Формальные методы на перекрестке: от панацеи к фундаментальной поддержке. ЛНКС (2003)

    Google ученый

  26. Дэвид А., Мёллер М.О., Йи В.: Формальная проверка диаграмм состояний UML с расширениями в реальном времени. В: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, стр. 218–232. Springer, Heidelberg (2002)

    CrossRef Google ученый

  27. Дэвид А., Йи В.: Моделирование и анализ коммерческого протокола полевой шины. В: Материалы 12-й конференции Euromicro по системам реального времени, стр. 165–172. Компьютерное общество IEEE, Лос-Аламитос (2000)

    Перекрёстная ссылка Google ученый

  28. Ферсман, Э.: Общий подход к анализу планируемости систем реального времени. Кандидатская диссертация, Упсальский университет (ноябрь 2003 г.)

    Google ученый

  29. «>

    Хавелунд, К., Ларсен, К.Г., Скоу, А.: Формальная проверка контроллера мощности с использованием программы проверки модели в реальном времени. В: 5-й Международный семинар AMAST по системам реального времени и вероятностным системам (1999), доступен по адресу http://www.uppaal.com

  30. Хавелунд, К., Скоу, А., Ларсен, К.Г., Лунд, К.: Формальное моделирование и анализ аудио/видеопротокола: промышленный пример использования uppaal. В: Труды 18-го симпозиума IEEE по системам реального времени, декабрь 1997 г., стр. 2–13 (1997 г.)

    . Google ученый

  31. Хендрикс, М., Берманн, Г., Ларсен, К.Г., Ниберт, П., Вандрагер, Ф.В.: Добавление снижения симметрии к uppaal. В: Ларсен, К.Г., Ниберт, П. (ред.) ФОРМАТЫ 2003. LNCS, vol. 2791, Springer, Heidelberg (2004)

    CrossRef Google ученый

  32. «>

    Хендрикс, М., Ларсен, К.Г.: Точное ускорение проверки модели в реальном времени. В: Азарин, Э., Малер, О., Йовин, С. (ред.) Электронные заметки по теоретической информатике, апрель 2002 г., том. 65, Elsevier Science Publishers, Амстердам (2002)

    Google ученый

  33. Хензингер, Т.А.: Проверка символьной модели для систем реального времени. Информация и вычисления 111, 193–244 (1994)

    CrossRef МАТЕМАТИКА MathSciNet Google ученый

  34. Хольцманн, Г.Дж.: Разработка и проверка компьютерных протоколов. Прентис-Холл, Энглвудские скалы (1991)

    Google ученый

  35. Хольцманн, Г. Дж.: Анализ хеширования состояния битов. Формальные методы проектирования систем 13, 289–307 (1998)

    CrossRef Google ученый

  36. «>

    Хопкрофт, Дж. Э., Ульман, Дж. Д.: Введение в теорию автоматов, языки и вычисления. Эддисон-Уэсли, Рединг (2001)

    Google ученый

  37. Хьюн, Т., Ларсен, К.Г., Петтерссон, П.: Управляемый синтез управляющих программ с использованием uppaal. В: Лай, Т.Х. (ред.) Учеб. Международного семинара IEEE ICDCS по проверке и проверке распределенных систем, апрель 2000 г., стр. E15–E22. IEEE Computer Society Press, Лос-Аламитос (2000)

    Google ученый

  38. Иверсен, Т.К., Кристофферсен, К.Дж., Ларсен, К.Г., Лаурсен, М., Мэдсен, Р.Г., Мортенсен, С.К., Петтерссон, П., Томасен, К.Б.: Проверка моделей программ управления в реальном времени – Проверка систем мозгового штурма с использованием уппаал. В: Учеб. 12-й конференции Euromicro по системам реального времени, июнь 2000 г., стр. 147–155. IEEE Computer Society Press, Лос-Аламитос (2000)

    CrossRef Google ученый

  39. «>

    Дженсен, Х.Е.: Верификация распределенных систем на основе абстракций. Кандидатская диссертация, Ольборгский университет (июнь 1999 г.)

    Google ученый

  40. Дженсен, Х.Э., Ларсен, К.Г., Скоу, А.: Увеличение масштабов автоматической проверки систем реального времени с использованием композиционности и абстракции. В: Джозеф, М. (ред.) FTRTFT 2000. LNCS, vol. 1926, стр. 19–20. Springer, Heidelberg (2000)

    CrossRef Google ученый

  41. Katoen, J.-P.: Concepts, Algorithms, and Tools for Model Checking (1999), http://www.it-c.dk/people/hra/mcpa/katoen.ps

  42. Скоу, А., Хавелунд, К., Ларсен, К.Г.: Формальная проверка контроллера мощности с использованием средства проверки модели в реальном времени Uppaal. В: Катоен, Ж.-П. (ред. ) AMAST-ARTS 1999, ARTS 1999 и AMAST-WS 1999. LNCS, vol. 1601, стр. 277–298. Springer, Heidelberg (1999)

    CrossRef Google ученый

  43. Кристофферсен, К.Дж.: Композиционная проверка параллельных систем. Кандидатская диссертация, Ольборгский университет (август 1998 г.), http://www.itu.dk/people/kjk/publications.html

  44. Ларсен, К.Г., Берманн, Г., Бринксма, Э., Фенкер, А., Хьюн, Т., Петтерссон, П., Ромейн, Дж.: Как можно дешевле: эффективная доступность с оптимальными затратами по доступной цене временные автоматы. В: Берри, Г., Комон, Х., Финкель, А. (ред.) CAV 2001. LNCS, vol. 2102, стр. 493–505. Springer, Heidelberg (2001)

    CrossRef Google ученый

  45. Ларсен К.Г., Петтерссон П., Йи В.: Коротко об Уппаале. Междунар. Журнал о программных средствах для передачи технологий 1 (1-2), 134–152 (1997)

    CrossRef МАТЕМАТИКА Google ученый

  46. «>

    Ларссон Ф., Ларсен К.Г., Петтерссон П., Йи В.: Эффективная проверка систем реального времени: компактные структуры данных и сокращение пространства состояний. В: Учеб. 18-го симпозиума IEEE по системам реального времени, 19 декабря97, стр. 14–24. IEEE Computer Society Press, Лос-Аламитос (1997)

    Google ученый

  47. Линдал, М., Петтерссон, П., Йи, В.: Формальное проектирование и анализ контроллера редуктора. Springer International Journal of Software Tools for Technology Transfer (STTT) 3(3), 353–368 (2001)

    MATH Google ученый

  48. Лённ, Х., Петтерссон, П.: Формальная проверка механизма запуска протокола TDMA. В: Учеб. Тихоокеанского региона, междунар. Симп. по отказоустойчивым системам, 19 декабря97, стр. 235–242 (1997)

    Google ученый

  49. Нильсен, Б.

Оставить комментарий

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *