|
|
2.
|
Model-Based Testing of Reactive Systems : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. por
- Broy, Manfred [editor.]
- Jonsson, Bengt [editor.]
- Katoen, Joost-Pieter [editor.]
- Leucker, Martin [editor.]
- Pretschner, Alexander [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3472
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
