Resultados
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. por Series Lecture Notes in Computer Science ; 3875 | Lecture Notes in Computer Science ; 3875
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
6.
|
Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel. por Series Lecture Notes in Computer Science ; 3922 | Lecture Notes in Computer Science ; 3922
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
7.
|
|
|
8.
|
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. por Series Lecture Notes in Computer Science ; 4383 | Lecture Notes in Computer Science ; 4383
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
Fundamental Approaches to Software Engineering [electronic resource] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by JosȨ Luiz Fiadeiro, Paola Inverardi. por Series Lecture Notes in Computer Science ; 4961 | Lecture Notes in Computer Science ; 4961
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
13.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. por Series Lecture Notes in Computer Science ; 4349 | Lecture Notes in Computer Science ; 4349
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
14.
|
Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Matthew B. Dwyer, Antnia Lopes. por Series Lecture Notes in Computer Science ; 4422 | Lecture Notes in Computer Science ; 4422
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
15.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. por Series Lecture Notes in Computer Science ; 3855 | Lecture Notes in Computer Science ; 3855
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
16.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. por Series Lecture Notes in Computer Science ; 4905 | Lecture Notes in Computer Science ; 4905
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|