Verified Software: Theories, Tools, Experiments
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. Th...
محفوظ في:
مؤلفون آخرون: | Shankar, Natarajan |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer
2017
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/31039 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Verified Software: Theories, Tools, Experiments
بواسطة: Bertrand Meyer, Jim Woodcock.
منشور في: (2017) -
Reliable Software Technologies - Ada-Europe 2008
بواسطة: Fabrice Kordon, Tullio Vardanega
منشور في: (2017) -
Theory of Cryptography
منشور في: (2017) -
Software Evolution
منشور في: (2017) -
Software Process and Product Measurement
منشور في: (2017)