Pesquisas alternativas:
espen » aspen (Expandir a Pesquisa), esten (Expandir a Pesquisa), esen (Expandir a Pesquisa)
spin » span (Expandir a Pesquisa)
espe » este (Expandir a Pesquisa), ese (Expandir a Pesquisa)
esse » este (Expandir a Pesquisa)
esra » esta (Expandir a Pesquisa), essa (Expandir a Pesquisa), esr (Expandir a Pesquisa)
esa » esta (Expandir a Pesquisa), essa (Expandir a Pesquisa)
A mostrar 1 - 20 resultados de 102,940 para a pesquisa '((espen OR spin) OR ((((espe OR esse) OR esra) OR esp) OR esa))', tempo de pesquisa: 0.61seg Refinar resultados
14
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:
15
Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings /
“...This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model...”
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
16
Model checking software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006: proceedings /
“...This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model...”
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email — Guardar a pesquisa