The logical basis for computer programming

By: Contributor(s): Material type: TextTextSeries: Addison-Wesley series in computer sciencePublication details: Reading : [S.n.], c1985-1990Description: 2 v. ; 23 cmISBN:
  • 0201182602 (v.1)
Subject(s):
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática F.4.1 MAN v.1 (Browse shelf(Opens below)) Available DIF-00890
Libro Libro Biblioteca de la Facultad de Informática F.4.1 MAN v.2 (Browse shelf(Opens below)) Available DIF-00891

Volumen I: Deductive reasoning. Volumen II: Deductive systems