Resultados
|
|
1.
|
Correct system design : symposium in honor of ernst-rüdiger olderog on the occasion of his 60th birthday, oldenburg, germany, september 8-9, 2015, proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. por
- Meyer, Roland [editor.]
- Platzer, André [editor.]
- Wehrheim, Heike [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9360
Edición: 1st ed. 2015.
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.
|
|
|
2.
|
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. por
- Gorrieri, Roberto [editor.]
- Wehrheim, Heike [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4037
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by Michael Leuschel, Heike Wehrheim. por
- Leuschel, Michael [editor.]
- Wehrheim, Heike [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5423
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
