Amazon cover image
Image from Amazon.com
Image from Google Jackets

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

By: Material type: TextTextLanguage: English Publication details: MIT Press Cambridge 2013ISBN:
  • 9780262317870
Subject(s):
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Notes Date due Barcode
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28793
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28794
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28795
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28796
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28797
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28798
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28799
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28800
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28801
EBOOKS Rajarambapu Institute of Technology, Rajaramnagar Reference Book Link to resource Available EBOOKS E28802

There are no comments on this title.

to post a comment.

You are Visitor Number

Visit counter For Websites


All Rights Reserved. © 2023 Implemented and Customised by RIT Central library