Resenhas - Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Veja as resenhas sobre este livro