Image from Google Jackets

Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.

By: Contributor(s): Material type: TextTextLanguage: English Series: Lecture Notes in Computer Science ; 7086Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.ISBN:
  • 9783642253799
Other title:
  • CPP 2011 [Other title]
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 Call number Materials specified Status Date due Barcode Item holds
Books Books National Library of India Available EBK000002023ENG
Total holds: 0

There are no comments on this title.

to post a comment.
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India