[원서] (Lecture Notes in Computer Science 8931 Theoretical Computer Scie…
페이지 정보
작성일 20-02-22 22:33
본문
[원서] (Lecture Notes in Computer Science 8931 Theoretical Computer Science and General Issues) Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.) - Verification, ~
[원서] (Lecture Notes in Computer Science 8931 Theoretical Computer Science and General Issues) Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.) - Verification, ~
%20Deepak%20D%E2%80%99Souza%20Akash%20Lal%20Kim%20Guldstrand%20Larsen%20(eds%20)%20%20Verification%20~_pdf_01.gif)
%20Deepak%20D%E2%80%99Souza%20Akash%20Lal%20Kim%20Guldstrand%20Larsen%20(eds%20)%20%20Verification%20~_pdf_02.gif)
%20Deepak%20D%E2%80%99Souza%20Akash%20Lal%20Kim%20Guldstrand%20Larsen%20(eds%20)%20%20Verification%20~_pdf_03.gif)
%20Deepak%20D%E2%80%99Souza%20Akash%20Lal%20Kim%20Guldstrand%20Larsen%20(eds%20)%20%20Verification%20~_pdf_04.gif)
%20Deepak%20D%E2%80%99Souza%20Akash%20Lal%20Kim%20Guldstrand%20Larsen%20(eds%20)%20%20Verification%20~_pdf_05.gif)
%20Deepak%20D%E2%80%99Souza%20Akash%20Lal%20Kim%20Guldstrand%20Larsen%20(eds%20)%20%20Verification%20~_pdf_06.gif)
솔루션,컴퓨터,솔루션
癤 LNCS 8931
ARCoSS
Deepak DSouza Akash Lal Kim Guldstrand Larsen (Eds.)
Verification, Model Checking, and Abstract Interpretation
16th International Conference,VMCAI 2015 Mumbai, India, January 124, 2015 Proceedings
123
Lecture Notes in Computer Science 8931
Commenced Publication in 1973 Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Edit
癤 LNCS 8931
ARCoSS
Deepak DSouza Akash Lal Kim Guldstrand Larsen (Eds.)
Verification, Model Checking, and Abstract Interpretation
16th International Conference,VMCAI 2015 Mumbai, India, January 124, 2015 Proceedings
123
Lecture Notes in Computer Science 8931
Com…(skip)
솔루션/컴퓨터
순서
[원서] (Lecture Notes in Computer Science 8931 Theoretical Computer Science and General Issues) Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.) - Verification, ~ , [원서] (Lecture Notes in Computer Science 8931 Theoretical Computer Science and General Issues) Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.) - Verification, ~컴퓨터솔루션 , 솔루션
설명
다.