الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
integration specification » integrating specification, interaction specifications, integration verification
programming constructs » programming concepts, programming contest
specification program » specifications program, verification program, purification program
program programming » programs programming, programmer programming, pram programming
constructs loops » constructs lists, constructs coders, constructs core
integration specification » integrating specification, interaction specifications, integration verification
programming constructs » programming concepts, programming contest
specification program » specifications program, verification program, purification program
program programming » programs programming, programmer programming, pram programming
constructs loops » constructs lists, constructs coders, constructs core
1
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
منشور في 2013
جدول المحتويات:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2013
جدول المحتويات:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2014
جدول المحتويات:
“... Specifications with Observational Semantics -- Synthesis for Human-in-the-Loop Control Systems -- Learning...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2014
جدول المحتويات:
“... Algorithm -- A Closed Loop Supply Chain Inventory Model for the Deteriorating Items with JIT Implementation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
بواسطة Chong, Kok Hen
منشور في 2008
“... of the overall system. As a result, the higher integration level,
the better and the cheaper final product...”منشور في 2008
احصل على النص الكامل
أطروحة
7
بواسطة Chong, Kok Hen
منشور في 2008
“... of the overall system. As a result, the higher integration level, the better and the cheaper final product...”منشور في 2008
احصل على النص الكامل
أطروحة
8