Amazon cover image
Image from Amazon.com
Image from Google Jackets

Design and validation of computer protocols / Gerard J. Holzmann.

By: Material type: TextTextSeries: Prentice Hall software seriesPublication details: London Prentice-Hall International 1991.Description: xii, 500p. ill. 24cmISBN:
  • 0135398347
Subject(s): DDC classification:
  • 004.62 HOL 1991
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 Notes Date due Barcode
Book-GN Book-GN PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH 004.62 HOL 1991 (Browse shelf(Opens below)) 44276 Pilih buang (Weeding) Bilik Perbincangan 11 0000046660

Includes bibliographical references and index

There are no comments on this title.

to post a comment.