1. Главная
  2. Ресурсы
  3. Библиотечный поиск
FM 2006: FormalMethods Jayadev MisraTobias NipkowEmil Sekerinski2006 год

FM 2006: Formal Methods
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2006
Авторы: Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Manufacturing Process and Optimization, BIM and Construction Integration