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 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

Bibliografía : p. 237-242

Incluye índice

There are no comments on this title.

to post a comment.