検索結果 18 件
紙図書
国立国会図書館
- 件名Computer programs -- Verification -- Congresses. Software architecture -......sses. Computer software -- Verification -- Congresses. Verification. Hardware. Software.
- 一般注記Papers and abstracts.
- 並列タイトル等(連結)Hardware and software: verification and testing : 3rd international Haifa verification conference, HVC 2007 : Haifa,...
紙図書
国立国会図書館
- 件名Computer programs -- Verification -- Congresses. Software architecture -......sses. Computer software -- Verification -- Congresses.
- 並列タイトル等(連結)Hardware and software, verification and testing : 2nd international Haifa verification conference, HVC 2006 : Haifa,...
- 並列タイトル等Hardware and software, verification and testing : 2nd international Haifa verification conference, HVC 2006 : Haifa,...
紙図書
国立国会図書館
- 件名Computer programs -- Verification -- Congresses. Software architecture -- Congresses. C...
- 並列タイトル等(連結)Hardware and software : verification and testing : 1st international Haifa verification conference : Haifa, Israel, N...
- 並列タイトル等Hardware and software : verification and testing : 1st international Haifa verification conference : Haifa, Israel, N...
紙図書
国立国会図書館
- 要約等...national Haifa Verification Conference, HV......ed full papers and 4 invited talk......fully reviewed and selected from ......ystems; tools; verification of robotics; s......; multi domain verification; and synthesis.
- ジャンル・形式用語Conference papers and proceedings.
- 件名...uter networks. Software engineering. P......ogic, Symbolic and mathematical. ......puter Science. Software Engineering. Logics and Meanings of Pr......ematical Logic and Formal Languages. Artificial ...
紙図書
国立国会図書館
- 件名Computer programs--Verification--Congresses. Software architecture--Congresses.
- 一般注記Abstracts and papers. "It was the tenth eve...
- タイトル標目...2, Programming and software engineering.
紙図書
国立国会図書館
- 件名Computer programs--Verification--Congresses. Software architecture--Congresses.
- 一般注記Abstracts and papers. "It was the ninth eve...
- タイトル標目...2, Programming and software engineering.
紙図書
国立国会図書館
- 要約等...national Haifa Verification Conference, HV......fully reviewed and selected from ...... directions of testing and verification for hardware, software, and complex hybrid systems.
- 件名Software--Congresses. C......s--Congresses. Software Validation--Co......uter programs--Verification--Congresses. Software architecture--......puter science. Software engineering. L......reters. Logics and Meanings of Pr......ematical Logic and Formal Languages.
- 一般注記Abstracts and revised selected papers. "It ...
紙図書
国立国会図書館
- 件名Computer programs -- Verification -- Congresses. Software architecture -......sses. Computer software -- Verification -- Congresses. Hardwareverifikation. P......mverifikation. Software. Testen. Model Checking. Haif...
- 一般注記Abstracts and revised selected papers. "The...
- タイトル標目... 2 Programming and software engineering.
紙図書
国立国会図書館
- 一般注記Abstracts and revised selected papers. "HVC...
紙図書
国立国会図書館
- 件名Computer programs -- Verification -- Congresses. Software architecture -......sses. Computer software -- Verification -- Congresses.
- 一般注記Abstracts and papers.
- タイトル標目... 2 Programming and software engineering.
デジタル電子書籍・電子雑誌図書
国立国会図書館
- 内容細目...fix Sums Allen and Kennedy Algori......s Applications and Parallelism Ar......Linear Algebra Software) Atomic Operat......Linear Algebra Software (ATLAS) Autotu...... Backpressure Bandwidth-Latency M...... Channel Buses and Crossbars Butt......ELL Cell Broadband Engine Process......CE) Community Land Model (CLM) Co......y XT3 Cray XT3 and Cray XT Series......y XT4 Cray XT4 and Seastar 3-D To......den Eigenvalue and Singular-Value......stems FPS-120B and Derivatives Fl......Race, Deadlock and Other Errors Fortran 90 and Its Successors......ralized Meshes and Tori Genome As......Graph Analysis Software Graph Partitioning Graph Part...
紙図書
全国の図書館
- 一般注記Includes bibliographical references and index
- 著者標目International Haifa Verification Conference Strichman, Ofer Tz...
紙図書
全国の図書館
- 件名Computer programs -- Verification -- Congresses Software architecture -......esses Computer software -- Verification -- Congresses
- 件名(識別子)Computer programs -- Verification -- Congresses Software architecture -......esses Computer software -- Verification -- Congresses
- 一般注記Includes bibliographical references and index
紙図書
全国の図書館
- 件名Computer programs -- Verification -- Congresses Software architecture -......esses Computer software -- Verification -- Congresses Verification Hardware Software
- 件名(識別子)Computer programs -- Verification -- Congresses Software architecture -......esses Computer software -- Verification -- Congresses Verification Hardware Software
- 一般注記Includes bibliographical references and index
紙図書
全国の図書館
- 件名Computer programs -- Verification -- Congresses Software architecture -......esses Computer software -- Verification -- Congresses Verification Hardware Software
- 件名(識別子)Computer programs -- Verification -- Congresses Software architecture -......esses Computer software -- Verification -- Congresses Verification Hardware Software
- 一般注記Includes bibliographies and index
紙図書
全国の図書館
- 件名Computer input-output equipment Computer software -- Verification
- 件名(識別子)Computer input-output equipment Computer software -- Verification
- 一般注記Includes bibliographical references and index
紙図書
全国の図書館
- 著者標目International Haifa Verification Conference Ur, Shmuel Bin, Ey...
デジタル記事
インターネットで読める全国の図書館
- 要約等This paper refers to Hardware Sortware Codes...... view point of testing and verification of system LSI.......lems regarding testing, verification and validation. Th...... we consider a Hardware Sortware Codesign methodology...
- 並列タイトル等(連結)Hardware Software Codesign Considering Testing and Verification of System LSI
- 並列タイトル等Hardware Software Codesign Considering Testing and Verification of System LSI
検索結果は以上です。