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

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Chlipala, Adam (Author)
פורמט:	ספר
יצא לאור:	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.
ISBN:	978-0-262-02665-9

פריטים דומים