Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"

Imagen de cubierta de Amazon
Imagen de Amazon.com

Using formal description techniques : An introduction to estelle, lotos, and sdl / Ed. by Kenneth j. Turner

Colaborador(es): Turner, Kenneth J [editor]Tipo de material: TextoTextoSeries Wiley series in communication and distributed systemsEditor: Chichester : J. Wiley, 1993Descripción: 431 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0471934550Tema(s): Programación de computadoras | Lenguajes formalesClasificación LoC:QA76.6 | U848
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Clasificación Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Libros Libros Libros
Libros
General QA76.6 U848 (Navegar estantería(Abre debajo)) 1 Disponible 116386
Libros Libros Libros
Libros
General QA76.6 U848 (Navegar estantería(Abre debajo)) 1 Disponible 116387
Total de reservas: 0

No hay comentarios en este titulo.

para colocar un comentario.


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad