[원서] (Lecture Notes in Computer Science 6538) David L. Dill (auth.), R…
페이지 정보
작성일 19-12-20 19:27
본문
癤
Lecture Trial in Computer Science 6538
Commenced Publication in 1973 Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, U…(省略)
[원서] (Lecture Notes in Computer Science 6538) David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.) - Verification, Model Checking, and Abstract Interpretation ~
순서
[원서] (Lecture Notes in Computer Science 6538) David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.) - Verification, Model Checking, and Abstract Interpretation ~ , [원서] (Lecture Notes in Computer Science 6538) David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.) - Verification, Model Checking, and Abstract Interpretation ~ 컴퓨터솔루션 , 솔루션
솔루션,컴퓨터,솔루션
설명
[원서] (Lecture Notes in Computer Science 6538) David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.) - Verification, Model Checking, and Abstract Interpretation ~
솔루션/컴퓨터
다.


