Certified programming with dependent types : A pragmatic introduction to the Coq proof assistant Adam Chlipala

By:

Description: xii, 424 p ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Carti	IMAR	005.1-CHL (Browse shelf(Opens below))	1	Available		0036475

Previous					No cover image available		No cover image available	Next
Previous	005.1-BEN Programming pearls	005.1-BJO-1 Software Engineering Abstraction and Modelling vol. 1	005.1-BJO-2 Software Engineering vol. 2 Specification of Systems and Languages	005.1-CHL Certified programming with dependent types : A pragmatic introduction to the Coq proof assistant	005.1-CRA A guide to COBOL programming /	005.1-CRI Programarea bazata pe reguli	005.1-CRI Programarea bazata pe reguli	Next

eng

Bibliografie p. 413
Index p. 419

There are no comments on this title.

to post a comment.