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

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

Item #:
017839
Our Price: $75.00
Adding to cart… The item has been added

Details

  • Title: 18th International Workshop on Types for Proofs and Programs (TYPES 2011)
  • Date/Location: 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 Link: View Table of Contents
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Jul 2013 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 18th International Workshop on Types for Proofs and Programs (TYPES 2011)
  • Date/Location: 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 Link: View Table of Contents
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Jul 2013 )