Design And Validation Of Computer Protocols


Holzmann, Gerard J.
Author
Engineering, Benha
Faculty
1991
Publish Year
Englewood Cliffs, N.J.
Publish Place
Prentice Hall
Publisher
xii, 500 p
Size