Resenhas - The SPIN Model Checker: Primer and Reference Manual

Veja as resenhas sobre este livro