Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner.
Tipo de material:
Archivo de ordenadorSeries Lecture Notes in Computer Science ; 3472Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.Descripción: v.: digitalISBN: - 9783540320371
- QA76.76.T48 B76 2005
| Tipo de ítem | Biblioteca actual | Signatura topográfica | URL | Copia número | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital Colección Digital | QA76.76.T48 B76 2005 (Navegar estantería(Abre debajo)) | Enlace al recurso | 1 | Disponible | SpringerLink | BDIG00006855 |
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.