1. Главная
  2. Ресурсы
  3. Библиотечный поиск
LeveragingApplications ofFormal Methods,Verification andValidation.Applications and CaseStudies Tiziana MargariaBernhard Steffen2012 год

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2012
Авторы: Tiziana Margaria, Bernhard Steffen
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Model-Driven Software Engineering Techniques