Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : It-University Of Copenhagen

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Book

Incremental Interactive Verification of the Correctness of Object-Oriented Software

Authors : Mehnert, Hannes

Source: Mehnert , H 2013 , Incremental Interactive Verification of the Correctness of Object-Oriented Software . ITU-DS , no. 98 , IT-Universitetet i København .

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Book

Modular specification and verification for higher-order languages with state

Authors : Svendsen, Kasper

Source: Svendsen , K 2013 , Modular specification and verification for higher-order languages with state . ITU-DS , no. 86 , IT-Universitetet i København .

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي