[원서] (Computer Science Research and Practice) Cornelis A. Middelburg…
페이지 정보
작성일 20-04-01 10:45본문
Download : (Computer Science Research and Practice) Cornelis A Middelburg Logic and specification extending VDM SL for advanced ~ (1993).pdf( 12 )
솔루션/컴퓨터
솔루션,컴퓨터,솔루션
설명
순서
[원서] (Computer Science Research and Practice) Cornelis A. Middelburg - Logic and specification extending VDM-SL for advanced ~ (1993)
[원서] (Computer Science Research and Practice) Cornelis A. Middelburg - Logic and specification extending VDM-SL for advanced ~ (1993) , [원서] (Computer Science Research and Practice) Cornelis A. Middelburg - Logic and specification extending VDM-SL for advanced ~ (1993)컴퓨터솔루션 , 솔루션
%20Cornelis%20A%20Middelburg%20%20Logic%20and%20specification%20extending%20VDM%20SL%20for%20advanced%20~%20(1993)_pdf_01.gif)
%20Cornelis%20A%20Middelburg%20%20Logic%20and%20specification%20extending%20VDM%20SL%20for%20advanced%20~%20(1993)_pdf_02.gif)
%20Cornelis%20A%20Middelburg%20%20Logic%20and%20specification%20extending%20VDM%20SL%20for%20advanced%20~%20(1993)_pdf_03.gif)
%20Cornelis%20A%20Middelburg%20%20Logic%20and%20specification%20extending%20VDM%20SL%20for%20advanced%20~%20(1993)_pdf_04.gif)
%20Cornelis%20A%20Middelburg%20%20Logic%20and%20specification%20extending%20VDM%20SL%20for%20advanced%20~%20(1993)_pdf_05.gif)
%20Cornelis%20A%20Middelburg%20%20Logic%20and%20specification%20extending%20VDM%20SL%20for%20advanced%20~%20(1993)_pdf_06.gif)
[원서] (Computer Science Research and Practice) Cornelis A. Middelburg - Logic and specification extending VDM-SL for advanced ~ (1993)
癤
Contents
Preface v
1 General Introduction 1 1.1 Formal methods 2 1.2 Development and exploitation of VDM 4 1.3 Formal speci詮cation in VDM 5 1.4 Veri詮ed design in VDM 8 1.5 Computer-trial support for VDM 9 1.6 VDM and other methods …(생략(省略))
다.