Imagen de Amazon.com

Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz, ed.

Colaborador(es): Dershowitz, Nachum [editor] | Manna, ZoharTipo de material: Texto

TextoSeries Lecture notes in computer science ; 2772Editor: Berlin : Springer Verlag, c2003Descripción: xv, 782 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540210024Tema(s): Software para computadora -- VerificaciónClasificación LoC:QA76.76V47 | V46

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

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	Coleccion General	QA76.76V47 V46 (Navegar estantería(Abre debajo))	1	Disponible		114080

Total de reservas: 0

No hay comentarios en este titulo.

para colocar un comentario.

Universidad Nacional Autónoma de MéxicoFacultad de Ingeniería. Posgrado Catálogo de la Biblioteca "Dr. Enzo Levi”