Local cover image
Systematic software development using VDM
Material type:
TextSeries: Prentice Hall International series in computer sciencePublication details: Nueva York : [S.n.], c1990Edition: 2nd edDescription: xiv, 333 p. ; 23 cmISBN: - 0138807337
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.2.2 JON (Browse shelf(Opens below)) | Available | DIF-00774 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| D.2.2 FRA VB.NET for developers | D.2.2 GOM Software design methods for concurrent and real-time systems | D.2.2 HEU Modelagem conceitual de sistemas | D.2.2 JON Systematic software development using VDM | D.2.2 KER Software tools | D.2.2 MIC Desarrollo empresarial : libro del estudiante | D.2.2 PON Software engineering with C++ and CASE tools |
Incluye bibliografía.
Click on an image to view it in the image viewer