Resultados
|
|
1.
|
Concrete semantics : with isabelle/hol / Tobias Nipkow, Gerwin Klein. por
- Nipkow, Tobias [autor.]
- Klein, Gerwin [autor.]
- SpringerLink (Servicio en línea)
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.
|
|
|
2.
|
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. por
- Misra, Jayadev [editor.]
- Nipkow, Tobias [editor.]
- Sekerinski, Emil [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4085
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.
|
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. por
- Berghofer, Stefan [editor.]
- Nipkow, Tobias [editor.]
- Urban, Christian [editor.]
- Wenzel, Makarius [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5674
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.
|
