- Добавил: harun54
- Дата: 11-03-2019, 22:11
- Комментариев: 0
Название: The B-Book Assigning Programs to Meanings
Автор: J. R. Abrial and A. Hoare
Издательство: Cambridge University Press
Год: 2005
Формат: PDF
Размер: 13 Мб
Язык: английский / English
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set theory, and the definition of the various mathematical structures that are needed to formalize software systems; the author places special emphasis on the notion of proof.
Автор: J. R. Abrial and A. Hoare
Издательство: Cambridge University Press
Год: 2005
Формат: PDF
Размер: 13 Мб
Язык: английский / English
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set theory, and the definition of the various mathematical structures that are needed to formalize software systems; the author places special emphasis on the notion of proof.