Pesquisas alternativas:
espin » espen (Expandir a Pesquisa), espan (Expandir a Pesquisa)
spin » span (Expandir a Pesquisa)
espa » esta (Expandir a Pesquisa)
essa » esta (Expandir a Pesquisa), esse (Expandir a Pesquisa)
esra » esta (Expandir a Pesquisa), esr (Expandir a Pesquisa), esrd (Expandir a Pesquisa)
esa » esta (Expandir a Pesquisa)
A mostrar 1 - 20 resultados de 452,264 para a pesquisa '((espin OR spin) OR (((((espa OR essa) OR este) OR esra) OR esp) OR esa))*', tempo de pesquisa: 1.32seg Refinar resultados
20
Model checking software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005: proceedings /
“... to make systems code crash itself - Invited tutorials - Effective bug hunting with spin and modex...”
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email — Guardar a pesquisa