Поиск
На сайте: 619871 статей, 304530 фото.

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»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки