Resultados
|
|
1.
|
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.
|
|
|
2.
|
|
|
|
3.
|
Theoretical aspects of computing – ictac 2015 : 12th international colloquium cali, colombia, october 29–31, 2015, proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia. por
- Leucker, Martin [editor.]
- Rueda, Camilo [editor.]
- SpringerLink (Servicio en línea)
- Valencia, Frank [editor.]
Series Lecture Notes in Computer Science ; 9399
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
|
