Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco van der Pol , Michael Weber
Ainda sem avaliações
Sep 27, 2010 · Inglês · Brochura (273 páginas)
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura

Avaliações

Nenhuma avaliação ainda

Seja o primeiro a avaliar este livro e compartilhe seus pensamentos

Faça login para Avaliar
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura