[원서] (Prentice-Hall International Series in Computer Science) Jim Wood…
페이지 정보
작성일 20-05-16 07:17
본문
[원서] (Prentice-Hall International Series in Computer Science) Jim Woodcock, Jim Davies - Using Z Specification, Refinement, and Proof-Prentice ~ (1996) , [원서] (Prentice-Hall International Series in Computer Science) Jim Woodcock, Jim Davies - Using Z Specification, Refinement, and Proof-Prentice ~ (1996) 컴퓨터솔루션 , 솔루션
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20%20Specification%20Refinement%20and%20Proof%20Prentice%20~%20(1996)_pdf_01.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20%20Specification%20Refinement%20and%20Proof%20Prentice%20~%20(1996)_pdf_02.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20%20Specification%20Refinement%20and%20Proof%20Prentice%20~%20(1996)_pdf_03.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20%20Specification%20Refinement%20and%20Proof%20Prentice%20~%20(1996)_pdf_04.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20%20Specification%20Refinement%20and%20Proof%20Prentice%20~%20(1996)_pdf_05.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20%20Specification%20Refinement%20and%20Proof%20Prentice%20~%20(1996)_pdf_06.gif)
Download : (Prentice Hall International Series in Computer Science) Jim Woodcock Jim Davies Using Z Specification Refinement and Proof Prentice ~ (1996).pdf( 41 )
설명
[원서] (Prentice-Hall International Series in Computer Science) Jim Woodcock, Jim Davies - Using Z Specification, Refinement, and Proof-Prentice ~ (1996)
癤
Using Z Specication, Renement, and Proof
Jim Woodcock University of Oxford
Jim Davies University of Oxford
Copyright: this hypertext version of Using Z is easily copied, distributed, and printed; ifyouchoosetodothis, wewouldaskyoutorememberthatitisunder copyright: if you reproduce any of the materi…(skip)
[원서] (Prentice-Hall International Series in Computer Science) Jim Woodcock, Jim Davies - Using Z Specification, Refinement, and Proof-Prentice ~ (1996)
순서
솔루션,컴퓨터,솔루션
솔루션/컴퓨터
다.