COLBURN, Timothy R.
Program verification : fundamental issues in computer science / Timothy R. Colburn, James H. Fetzer, Terry L. RankinDordrecht : Kluwer Academic Publishers, 1993XIII, 457 p. : il. ; 23 cm(Studies in Cognitive Systems / James H. Fetzer; 14).
Exemplares
Program verification : fundamental issues in computer science / Timothy R. Colburn, James H. Fetzer, Terry L. RankinDordrecht : Kluwer Academic Publishers, 1993XIII, 457 p. : il. ; 23 cm(Studies in Cognitive Systems / James H. Fetzer; 14).
0-7923-1965-6
681.31
Exemplares
Tipo de Documento | Biblioteca Localização | Cota | Nº de Registo | Código de Barras | Numeração (volume ou outra parte) | Notas Públicas | Data de Empréstimo | Data de Devolução | Estatuto de Item Retirado |
---|---|---|---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL Biblioteca do ISEL | COL. 681.31 | 15132 | 1006692 |