Resultados
|
|
1.
|
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue. por
- Beckert, Bernhard [editor.]
- Damiani, Ferruccio [editor.]
- Boer, Frank S [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7542
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, sfm 2014, bertinoro, italy, june 16-20, 2014, advanced lectures / edited by Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. por
- Bernardo, Marco [editor.]
- Damiani, Ferruccio [editor.]
- Hähnle, Reiner [editor.]
- Johnsen, Einar Broch [editor.]
- Schaefer, Ina [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8483
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. por
- Beckert, Bernhard [editor.]
- Damiani, Ferruccio [editor.]
- Gurov, Dilian [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7421
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro. por
- Berardi, Stefano [editor.]
- Damiani, Ferruccio [editor.]
- de’Liguoro, Ugo [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5497
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.
|
