関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
integration specification » integrating specification, interaction specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs a » constructs _, constructions a, constructs part
integration specification » integrating specification, interaction specifications, integration verification
specification programming » verification programming, identification programming, specification program
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs a » constructs _, constructions a, constructs part
1
出版事項 2005
主題:
“...Application specific integrated circuits Design and construction....”
図書
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版事項 2013
目次:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”全文の入手
電子媒体
eBook
3
出版事項 2012
目次:
“... Disambiguation Errors -- A Formal Proof of Square Root and Division Elimination in Embedded Programs -- Coherent...”全文の入手
電子媒体
eBook
4
出版事項 2013
目次:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”全文の入手
電子媒体
eBook
5
出版事項 2006
目次:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”全文の入手
電子媒体
eBook
6
著者: Abdullah, Adam Abdelkarim
出版事項 2000
“... of the intent behind construction project decisions. Thereby, provide a complete project history, to integrate...”出版事項 2000
全文の入手
学位論文
7
出版事項 2005
目次:
“... and Reflecting Quantifier Elimination for Presburger Arithmetic -- Integration of a Software Model Checker...”全文の入手
電子媒体
eBook
8
出版事項 2013
目次:
“... Specification and Verification Technique or Highly Concurrent Data Structures -- A Verification-Based Approach...”全文の入手
電子媒体
eBook
9
10
出版事項 2011
目次:
“...: A Flexible Approach for Integrating Heterogeneous Knowledge Sources -- Perspectives on Logic-Based...”全文の入手
電子媒体
eBook
11
出版事項 2014
目次:
“... -- Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata...”全文の入手
電子媒体
eBook
12
13
出版事項 2008
目次:
“... Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial...”全文の入手
電子媒体
eBook
14
出版事項 2005
目次:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”全文の入手
電子媒体
eBook
15
出版事項 2006
目次:
“... Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver -- SAT-Based Software...”全文の入手
電子媒体
eBook
16
目次:
“... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
全文の入手
全文の入手
電子媒体
eBook
17
著者: Abdulmalik, Sabitu
出版事項 2022
“... of this study is to develop and validate an organic reaction teaching model (ORTM) for pre-university programs...”出版事項 2022
全文の入手
学位論文
18
著者: Abdulmalik, Sabitu
出版事項 2022
“... of this study is to develop and validate an organic reaction teaching model (ORTM) for pre-university programs...”出版事項 2022
全文の入手
学位論文
19
著者: Zulqarnain, .
出版事項 2021
“... the integration of technology and agriculture. The Permanent Food Production Park (PFPP) programme was introduced...”出版事項 2021
全文の入手
学位論文
20
著者: Zulqarnain, .
出版事項 2021
“... the integration of technology and agriculture. The Permanent Food Production Park (PFPP) programme was introduced...”出版事項 2021
全文の入手
学位論文