Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki , Stefan Edelkamp
Ainda sem avaliações
2007 · Inglês · Brochura
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