Resultados
|
|
1.
|
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. por
- Havelund, Klaus [editor.]
- Majumdar, Rupak [editor.]
- Palsberg, Jens [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5156
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.
|
|
|
2.
|
|
|
|
3.
|
Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su. por
- Palsberg, Jens [editor.]
- Su, Zhendong [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5673
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.
|
|
|
4.
|
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.
|
