Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
Descrição do Produto
Você também pode gostar de:
![Scooby-Doo! and the Attack of the Scooby Snacks [An Official Cookbook]: From Scooby Snacks and Pickl](https://m.media-amazon.com/images/I/01AodW1Gh-L._SL500_.jpg "Scooby-Doo! and the Attack of the Scooby Snacks [An Official Cookbook]: From Scooby Snacks and Pickl")
