Image from Google Jackets

Normal view MARC view ISBD view

Design and validation of computer protocols Gerard J.Holzmann

By:

Holzmann, Gerard J

Material type: Text

Text

TextPublication details: London Prentice Hall 1991Edition: s edDescription: 500p; ISBN:

0135398347

Subject(s):

Computer protocols

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Pemba - Faculdade de Gestao de Turismo e Informatica Reference	Reference	004.7 (Browse shelf(Opens below))	1	Not For Loan		100042

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Universidade Católica de Moçambique - Rua Marquês de Soveral, 960, Palmeiras II, Beira, Moçambique

Tel (Central): (+258) 23 313 077 - Fax: (+258) 23 311 520 - Email: reitoria@ucm.ac.mz - Web: www.ucm.ac.mz