Descrição: Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.).

Summary goes here

Na minha lista:

Detalhes bibliográficos
Formato:	Livro
Idioma:	inglês
Assuntos:	SPIN (Computer file) Computer software Software engineering Electronic Data Processing Logiciels Génie logiciel Informatique. data processing. computer science. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!