Resultados
|
|
1.
|
Abstract state machines, alloy, b, tla, vdm, and z : 4th international conference, abz 2014, toulouse, france, june 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe. por
- Ait Ameur, Yamine [editor.]
- Schewe, Klaus-Dieter [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8477
Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Abz 2014: the landing gear case study : case study track, held at the 4th international conference on abstract state machines, alloy, b, tla, vdm, and z, toulouse, france, june 2-6, 2014. Proceedings / edited by Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe. por
- Boniol, Frédéric [editor.]
- Wiels, Virginie [editor.]
- Ait Ameur, Yamine [editor.]
- Schewe, Klaus-Dieter [editor.]
- SpringerLink (Servicio en línea)
Series Communications in Computer and Information Science ; 433
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Model and data engineering : 4th international conference, medi 2014, larnaca, cyprus, september 24-26, 2014. Proceedings / edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos. por
- Ait Ameur, Yamine [editor.]
- Bellatreche, Ladjel [editor.]
- Papadopoulos, George A [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8748
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
