Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers


Descrição do Produto


Loja do Suplemento
Home Menu
Topo