Description: Certified programming with dependent types :

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

Saved in:

Bibliographic Details
Main Author:	Chlipala, Adam, 1981-
Format:	eBook
Language:	English
Published:	Cambridge, MA : The MIT Press, [2013]
Subjects:	Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming. elektronické knihy electronic books
ISBN:	9780262317870
Physical Description:	1 online zdroj (xii, 424 pages)

Description
Bibliography:	Includes bibliographical references (pages [413]-417) and index.
ISBN:	9780262317870
Access:	Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity