Saltar al contenido principal

Come join our latest LibraryThing Hunt!

SeriesInternational SPIN Workshop

Autoría de la Serie: Susanne Graf

1 Obra Popularidad 145,175 (7 Miembros) 8 Libros 0 Reseñas

Model Checking Software (SPIN 2004) por Susanne Graf

Cuento Publicación

Model Checking Software (SPIN 2004) por Susanne Graf 8 copias

Orden:11

Etiquetas

2012-0205(1) 2014-0913(1) 2989(1) computer science(1) Lecture Notes in Computer Science(1) model checking(1) programming(1) software engineering(1) SPIN Workshop(1)

Miembros Principales

Real1Det (1 obras), realonedet (1)

Series relacionadas

Se solapa con

Lecture Notes in Computer Science

Enlaces

Colaboradores

Serie de Conocimiento Común

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.