[원서] Gerard Holzmann - Design and Validation of Computer Protocols (Pr…
페이지 정보
작성일 20-02-15 04:38본문
[원서] Gerard Holzmann - Design and Validation of Computer Protocols (Prentice Hall Software Series) (1990)
[원서] Gerard Holzmann - Design and Validation of Computer Protocols (Prentice Hall Software Series) (1990) , [원서] Gerard Holzmann - Design and Validation of Computer Protocols (Prentice Hall Software Series) (1990)컴퓨터솔루션 , 솔루션
순서
癤
DESIGN AND VALIDATION
OF COMPUTER PROTOCOLS
Gerard J. Holzmann
Bell Laboratories Murray Hill, New Jersey trial
PRENTICE-HALL Englewood Cliffs, New Jersey 07632
Prentice Hall Software Series Brian W. Kernighan, Advisor
Copyright 1991 by Lucent Technologies, Bell Laboratories, Incorporated.
This book is typeset in Times Roman by the author,
using an Linotronic 200P phototypesetter
癤
DESIGN AND VALIDATION
OF COMPUTER PROTOCOLS
Gerard J. Holzmann
Bell Laboratories Murray Hill, New Jersey trial
PRENTICE-HALL Englewood Cliffs, New Jersey 07632
Prentice Hall Software Series Brian W. Kernighan, Advisor
Copyright 1991 by Lucent Technologies, Bell Labo…(省略)
Download : Gerard Holzmann Design and Validation of Computer Protocols (Prentice Hall Software Series) (1990).pdf( 55 )
설명
솔루션,컴퓨터,솔루션
%20(1990)_pdf_01.gif)
%20(1990)_pdf_02.gif)
%20(1990)_pdf_03.gif)
%20(1990)_pdf_04.gif)
%20(1990)_pdf_05.gif)
%20(1990)_pdf_06.gif)
[원서] Gerard Holzmann - Design and Validation of Computer Protocols (Prentice Hall Software Series) (1990)
솔루션/컴퓨터
다.