Resultados
|
|
1.
|
Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. por
- Graf, Susanne [editor.]
- Zhang, Wenhui [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4218
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.
|
|
|
2.
|
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.
|
|
|
3.
|
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.
|
|
|
4.
|
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.
|
|
|
5.
|
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.
|
|
|
6.
|
Formal techniques for distributed objects, components, and systems : 35th ifip wg 6.1 international conference, forte 2015, held as part of the 10th international federated conference on distributed computing techniques, discotec 2015, grenoble, france, june 2-4, 2015, proceedings / edited by Susanne Graf, Mahesh Viswanathan. por
- Graf, Susanne [editor.]
- Viswanathan, Mahesh [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9039
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.
|
