Книги автора Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Год: [не указано]
Издание: [не указанo]
Похожие авторы, соавторы:
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers