Поиск
На сайте: 578413 статей, 288842 фото.

Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers (книга)

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Автор: Leslie Lamport
Оригинал издан: ????

«Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки