книги Компьютеры и Интернет Операционные системы и сети Сети

B-Method

Код 1228081

Нет в продаже

Аннотация к книге "B-Method"

High Quality Content by WIKIPEDIA articles! B is a tool-supported formal method based around AMN (Abstract Machine Notation), used in the development of computer software. It was originally developed by Jean-Raymond Abrial in France and the UK. B is related to the Z notation (also originated by Abrial) and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe (such as the Paris Metro Line 14), and is...

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1330-7010-3
Объём: 76 страниц
Масса: 135 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

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

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