Cargando…
The spin model checker : primer and reference manual /
Master SPIN, the breakthrough tool for improving software reliability SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent system designs. Literally thousands of people have used SPIN since it was first introduc...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
Addison-Wesley,
©2004.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |