Certified Programming with Dependent Types

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing...

وصف كامل

التفاصيل البيبلوغرافية

المؤلف الرئيسي:	Chlipala, Adam
التنسيق:	Online
اللغة:	الإنجليزية
منشور في:	The MIT Press 2022
الموضوعات:	Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming
الوصول للمادة أونلاين:	ONIX_20220221_9780262317870_43
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!