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


Descrição do Produto


Ideal Presentes
Home Menu
Topo