Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
Software engineering . 2 , Specification of systems and languages / D. Bjorner. por Series Texts in theoretical computer science. An EATCS series
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Berlin : Springer-Verlag , 2006
Otro título:
  • Specification of systems and languages
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.758 B56.2006.

Hacer reserva
Software engineering . 1, Abstraction and modelling / D. Bjørner. por Series Texts in theoretical computer science. An EATCS series
Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción
Detalles de publicación: Berlin : Springer-Verlag , 2006
Otro título:
  • Abstraction and modelling
Disponibilidad: Ítems disponibles para préstamo: Biblioteca Francisco Xavier Clavigero (1)Colección, signatura topográfica: Acervo General QA 76.758 B57.2006.

Hacer reserva
Páginas