Resultados
|
|
1.
|
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. por
- Damm, Werner [editor.]
- Hermanns, Holger [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4590
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.
|
|
|
2.
|
CONCUR 2006 – Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns. por
- Baier, Christel [editor.]
- Hermanns, Holger [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4137
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.
|
Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. por
- Hermanns, Holger [editor.]
- Palsberg, Jens [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3920
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.
|
