[원서] (Lecture Notes in Computer Science 4899 Programming and Softwar…
페이지 정보
작성일 20-03-28 09:03본문
%20Alan%20J%20Hu%20(auth%20)%20Karen%20Yorav%20(eds%20)%20%20Hardware%20and%20Software%20Verification%20~_pdf_01.gif)
%20Alan%20J%20Hu%20(auth%20)%20Karen%20Yorav%20(eds%20)%20%20Hardware%20and%20Software%20Verification%20~_pdf_02.gif)
%20Alan%20J%20Hu%20(auth%20)%20Karen%20Yorav%20(eds%20)%20%20Hardware%20and%20Software%20Verification%20~_pdf_03.gif)
%20Alan%20J%20Hu%20(auth%20)%20Karen%20Yorav%20(eds%20)%20%20Hardware%20and%20Software%20Verification%20~_pdf_04.gif)
%20Alan%20J%20Hu%20(auth%20)%20Karen%20Yorav%20(eds%20)%20%20Hardware%20and%20Software%20Verification%20~_pdf_05.gif)
%20Alan%20J%20Hu%20(auth%20)%20Karen%20Yorav%20(eds%20)%20%20Hardware%20and%20Software%20Verification%20~_pdf_06.gif)
[원서] (Lecture Notes in Computer Science 4899 Programming and Software Engineering) Alan J. Hu (auth.), Karen Yorav (eds.) - Hardware and Software Verification ~
설명
솔루션,컴퓨터,솔루션
癤 Lecture Notes in Computer Science 4899
Commenced Publication in 1973 Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
Trial Hutchison
Lancaster University, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. …(To be continued )
[원서] (Lecture Notes in Computer Science 4899 Programming and Software Engineering) Alan J. Hu (auth.), Karen Yorav (eds.) - Hardware and Software Verification ~ , [원서] (Lecture Notes in Computer Science 4899 Programming and Software Engineering) Alan J. Hu (auth.), Karen Yorav (eds.) - Hardware and Software Verification ~컴퓨터솔루션 , 솔루션
솔루션/컴퓨터
[원서] (Lecture Notes in Computer Science 4899 Programming and Software Engineering) Alan J. Hu (auth.), Karen Yorav (eds.) - Hardware and Software Verification ~
순서
다.