Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Design and validation of compu...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Design and validation of computer protocols

Design and validation of computer protocols

Bibliographic Details
Main Author: Holzmann, Gerard J. (Author)
Format: Book
Language:English
Published: London New Jersey Prentice-Hall AT&T Bell Telephone Laboratories, Inc. c1991 c1991
Subjects:
Ηλεκτρονικοί υπολογιστές > Πρωτόκολλα δικτύων
  • Holdings
  • Description
  • Similar Items
  • Staff View

ΒΚΠ - Πατρα: ALFe

Holdings details from ΒΚΠ - Πατρα: ALFe
Call Number: 004.62 HOL
Copy 1 Available

Similar Items

  • Network interconnection and protocol conversion
    Published: (1988)
  • Performance analysis of multiple access protocols
    by: Tasaka, Shuji
    Published: (1986)
  • Communications architecture for distributed systems
    by: Cypser, R. J.
    Published: (1978)
  • Protocol specification, testing, and verification, VII Proceedings of the IFIP WG 6.1 7th Int. Conference Zurich, Switzerland, 5-8 May, 1987
    Published: (1987)
  • Protocol specification, testing and verification, VI Proceedings of the IFIP WG 6.1 6th international workshop Montreal, Quebec, Canada, June 10-13 1986
    Published: (1987)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud
Cannot write session to /tmp/vufind_sessions/sess_jmflbhoj7d080j72klmma5lp9i