книги Наука, техника, медицина Гуманитарные науки Философия Общая философия Основы философии

Formal methods

Код 2376002

  • ISBN: 978-5-5110-4322-7

Нет в продаже

Аннотация к книге "Formal methods"

High Quality Content by WIKIPEDIA articles! In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. However, the high cost of using formal methods means that they are usually only used in the development of high-integrity systems, where safety or security is of utmost importance.

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

Оцените книгу:

ISBN: 978-5-5110-4322-7

Книга находится в категориях

Математика ГОСТы, стандарты Искусствоведение

Вместе с этой книгой покупают

Просмотренные товары