TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 19TH 2013. (TYPES 2013)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 19TH 2013. (TYPES 2013)

Item #:
023580
Our Price: $95.00
Adding to cart… The item has been added

Details

  • Title: 19th International Conference on Types for Proofs and Programs (TYPES 2013)
  • Date/Location: Held 22-26 April 2013, Toulouse, France.
  • Series: Leibniz International Proceedings in Informatics Volume 26
  • Editor: Matthes, R. et al.
  • ISBN: 9781634392693
  • Pages: 269 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Nov 2014 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 19th International Conference on Types for Proofs and Programs (TYPES 2013)
  • Date/Location: Held 22-26 April 2013, Toulouse, France.
  • Series: Leibniz International Proceedings in Informatics Volume 26
  • Editor: Matthes, R. et al.
  • ISBN: 9781634392693
  • Pages: 269 (1 Vol)
  • Format: Softcover
  • TOC Link: View Table of Contents
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Nov 2014 )