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
الموضوعات:
005
الوصول للمادة أونلاين:http://repository.vnu.edu.vn/handle/VNU_123/31039
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة: Vietnam National University, Hanoi
اللغة: English