Métodos formais para o desenvolvimento de programas
Material type:
TextSeries: Colección EBAIPublication details: Buenos Aires : Kapelusz, 1988Edition: Ed. prelimDescription: ix, 175 p. ; 23 cmSubject(s):
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Libros
|
Biblioteca Fac.Informática | D.2.4 ALE (Browse shelf(Opens below)) | Available | DIF-00286 | |
|
Libros
|
Biblioteca Fac.Informática | D.2.4 ALE (Browse shelf(Opens below)) | Available | DIF-02895 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
| D.2.3 YOU Techniques of program structure and design | D.2.3.VBS HIL Microsoft Visual Basic Script a fondo | D.2.4 ADV Advanced transaction models and architectures | D.2.4 ALE Métodos formais para o desenvolvimento de programas | D.2.4 ALE Métodos formais para o desenvolvimento de programas | D.2.4 APT Verification of sequential and concurrent programs | D.2.4 FRA Program verification |
Libro editado para la IV Escuela Brasileño-Argentina de Informática, realizada en Termas de Río Hondo, Santiago del Estero, Argentina, del 16 al 29 de enero de 1989.
There are no comments on this title.