[원서] (Lecture Notes in Computer Science 5295) Tony Hoare, Jay Misra (a…
페이지 정보
작성일 20-04-06 16:09
본문
[원서] (Lecture Notes in Computer Science 5295) Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.) - Verified Software Theories, Tools, Experiments ~
순서
%20Tony%20Hoare%20Jay%20Misra%20(auth%20)%20Bertrand%20Meyer%20Jim%20Woodcock%20(eds%20)%20%20Verified%20Software%20Theories%20Tools%20Experiments%20~_pdf_01.gif)
%20Tony%20Hoare%20Jay%20Misra%20(auth%20)%20Bertrand%20Meyer%20Jim%20Woodcock%20(eds%20)%20%20Verified%20Software%20Theories%20Tools%20Experiments%20~_pdf_02.gif)
%20Tony%20Hoare%20Jay%20Misra%20(auth%20)%20Bertrand%20Meyer%20Jim%20Woodcock%20(eds%20)%20%20Verified%20Software%20Theories%20Tools%20Experiments%20~_pdf_03.gif)
%20Tony%20Hoare%20Jay%20Misra%20(auth%20)%20Bertrand%20Meyer%20Jim%20Woodcock%20(eds%20)%20%20Verified%20Software%20Theories%20Tools%20Experiments%20~_pdf_04.gif)
%20Tony%20Hoare%20Jay%20Misra%20(auth%20)%20Bertrand%20Meyer%20Jim%20Woodcock%20(eds%20)%20%20Verified%20Software%20Theories%20Tools%20Experiments%20~_pdf_05.gif)
%20Tony%20Hoare%20Jay%20Misra%20(auth%20)%20Bertrand%20Meyer%20Jim%20Woodcock%20(eds%20)%20%20Verified%20Software%20Theories%20Tools%20Experiments%20~_pdf_06.gif)
[원서] (Lecture Notes in Computer Science 5295) Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.) - Verified Software Theories, Tools, Experiments ~ , [원서] (Lecture Notes in Computer Science 5295) Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.) - Verified Software Theories, Tools, Experiments ~컴퓨터솔루션 , 솔루션
설명
솔루션/컴퓨터
솔루션,컴퓨터,솔루션
癤 Lecture Notes in Computer Science 5295
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, UK
Jon M. …(skip)
[원서] (Lecture Notes in Computer Science 5295) Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.) - Verified Software Theories, Tools, Experiments ~
다.