Ejemplares

Baber, Robert Laurence
The spine of software : designing provably correct software, theory and practice or, a mathematical introduction to the semantics of computer programs /Robert Laurence Baber
Chichester (etc.) : John Wiley and Sons, 1987
XI, 316 p.

Compruebe la disponibilidad del ejemplar y pulse en PRESTAR o RESERVAR.
Para las revistas asegúrese de solicitar el año y volumen correspondientes a los artículos que desea consultar.
Los ejemplares con signatura DEPÓSITO EXTERNO se entregarán al día siguiente de su solicitud.

Solicitar	Tipo de préstamo	Prestado hasta		Colección		Signatura	Reservas	Cód. de barras
Solicitar	Préstamo 1 mes	Disponible	DEPÓSITO EXTERNO	Monografías	DEPÓSITO EXTERNO	68536		1000000370065

Contacto