Conference Proceedings
Home
 > 
Browse by Publisher
 > 
Schloss Dagstuhl
 > 
TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL WORKSHOP. 18TH 2011. (TYPES 2011)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL WORKSHOP. 18TH 2011. (TYPES 2011)

Send a Friend    
TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL WORKSHOP. 18TH 2011. (TYPES 2011)
Item #: 17839
Our Price:   
$75.00
Product Description
Title:18th International Workshop on Types for Proofs and Programs (TYPES 2011)
Desc:Proceedings of a meeting held 8-11 September 2011, Bergen, Norway.
Series:Leibniz International Proceedings in Informatics Volume 19
Editor:Danielsson, N. A. et al.
ISBN:9781627481434
Pages:69 (1 Vol)
Format:Softcover
TOC:View Table of Contents
Publ:Schloss Dagstuhl
POD Publ:Curran Associates, Inc. ( Jul 2013 )
Related Products
Browse By PublisherShop By Category
Dave A Curran, EzineArticles.com Basic Author