Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Chlipala, Adam (مؤلف)
التنسيق:	كتاب
منشور في:	Cambridge, Massachusetts, USA: London, England, 2013.
الموضوعات:	Demostración automática de teoremas > Programas de computador Coq (recurso electrónico)
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الوصف
وصف المادة:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
وصف مادي:	ix, 424 páginas.
ردمك:	978-0-262-02665-9

مواد مشابهة