Resultados
|
|
1.
|
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
- Boer, Frank S [editor.]
- Bonsangue, Marcello M [editor.]
- Graf, Susanne [editor.]
- Roever, Willem-Paul [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3657
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.
|
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
- Boer, Frank S [editor.]
- Bonsangue, Marcello M [editor.]
- Graf, Susanne [editor.]
- Roever, Willem-Paul [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4111
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.
|
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
- Boer, Frank S [editor.]
- Bonsangue, Marcello M [editor.]
- Graf, Susanne [editor.]
- Roever, Willem-Paul [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4709
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. por
- Boer, Frank S [editor.]
- Bonsangue, Marcello M [editor.]
- Graf, Susanne [editor.]
- Roever, Willem-Paul [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5382
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
