Software specification : a comparison of formal methods / by John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz.

By: Contributor(s): Material type: TextTextPublication details: Norwood, NJ. : Ablex Pu., c1994Edition: 1a edDescription: xi, 249 p. : il. ; 23 cmISBN:
  • 1567500331
Subject(s): LOC classification:
  • QA76.758 G36 1994
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Ingeniería Eléctrica General QA76.758 G36 1994 (Browse shelf(Opens below)) C:1 Available BIE000001544
Browsing Biblioteca de la Facultad de Ingeniería Eléctrica shelves, Shelving location: General Close shelf browser (Hides shelf browser)
QA76.758 B73 2003 Ingeniería de software QA76.758 B73 2003 Ingeniería de software QA76.758 F35 1985 Software engineering concepts QA76.758 G36 1994 Software specification QA76.758 G44 2003 Fundamentals of software engineering QA76.758 H46 1992 A book of object-oriented knowledge QA76.758 I58 1989 Advance working papers

Bibliografía : p. 237-242

Incluye índice

There are no comments on this title.

to post a comment.

Powered by Koha