[원서] (Prentice-Hall International Series in Computer Science) Jim Wood…
페이지 정보
작성일 20-05-31 05:09본문
癤
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…(省略)
Download : (Prentice Hall International Series in Computer Science) Jim Woodcock Jim Davies Using Z Specification refinement and proof Prentice ~ (1996).pdf( 80 )
[원서] (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%20Specification%20refinement%20and%20proof%20Prentice%20~%20(1996)_pdf_01.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20Specification%20refinement%20and%20proof%20Prentice%20~%20(1996)_pdf_02.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20Specification%20refinement%20and%20proof%20Prentice%20~%20(1996)_pdf_03.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20Specification%20refinement%20and%20proof%20Prentice%20~%20(1996)_pdf_04.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20Specification%20refinement%20and%20proof%20Prentice%20~%20(1996)_pdf_05.gif)
%20Jim%20Woodcock%20Jim%20Davies%20%20Using%20Z%20Specification%20refinement%20and%20proof%20Prentice%20~%20(1996)_pdf_06.gif)
설명
솔루션/컴퓨터
순서
솔루션,컴퓨터,솔루션
[원서] (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)컴퓨터솔루션 , 솔루션
[원서] (Prentice-Hall International Series in Computer Science) Jim Woodcock, Jim Davies - Using Z.Specification,refinement,and proof-Prentice ~ (1996)
다.