Coverart for item
The Resource Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, Jean-Pierre Jouannaud, Zhong Shao (eds.), (electronic book)

Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, Jean-Pierre Jouannaud, Zhong Shao (eds.), (electronic book)

Label
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Title
Certified programs and proofs
Title remainder
first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Statement of responsibility
Jean-Pierre Jouannaud, Zhong Shao (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Index
index present
LC call number
QA76.9.M35
LC item number
C37 2011eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
CPP 2011
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1968-
http://library.link/vocab/relatedWorkOrContributorName
  • Jouannaud, Jean-Pierre
  • Shao, Zhong
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7086
http://library.link/vocab/subjectName
Computer science
Label
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, Jean-Pierre Jouannaud, Zhong Shao (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR761874772
Dimensions
unknown
Extent
1 online resource (xv, 399 p.)
File format
unknown
Form of item
online
Isbn
9783642253782
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
Label
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, Jean-Pierre Jouannaud, Zhong Shao (eds.), (electronic book)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Control code
SPR761874772
Dimensions
unknown
Extent
1 online resource (xv, 399 p.)
File format
unknown
Form of item
online
Isbn
9783642253782
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...