The Logical Basis for Computer Programming Volume 2: Deductive Systems /

Bibliografiset tiedot
Päätekijä: Manna, Zohar (autor)
Muut tekijät: Waldinger, Richard (autor) (autor)
Aineistotyyppi: Kirja
Kieli:englanti
Aiheet:
Saatavuus: IT1
Hyllypaikka:
519. 7 MAN
Ejemplar 0275150100
Disponible
Préstamo 7 días a 90
Kokoelma:
Colección General
Huomautukset:
Ubicar en Nivel 1 Área de Colección General