Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Design and validation of computer protocols

Design and validation of computer protocols


Book Informaton

Design and validation of computer protocols

Author

Gerard J. Holzmann

Series

Prentice Hall software series

Year of Publication

1991

Publisher

Prentice Hall

City of Publication

Englewood Cliffs, N.J

Pages

500

Language

en

ISBN

0135399254

ARI Id

1671191046393


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Citation Options
Download Citation

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo