TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 23RD 2017. (TYPES 2017)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 23RD 2017. (TYPES 2017)

Item #:
047692
Our Price: $90.00
Adding to cart… The item has been added

Details

  • Title: 23rd International Conference on Types for Proofs and Programs (TYPES 2017)
  • Date/Location: Held 24 May - 1 June 2017, Budapest, Hungary.
  • Series: Leibniz International Proceedings in Informatics Volume 104
  • Editor: Abel, A. et al.
  • ISBN: 9781510880849
  • Pages: 164 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Mar 2019 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 23rd International Conference on Types for Proofs and Programs (TYPES 2017)
  • Date/Location: Held 24 May - 1 June 2017, Budapest, Hungary.
  • Series: Leibniz International Proceedings in Informatics Volume 104
  • Editor: Abel, A. et al.
  • ISBN: 9781510880849
  • Pages: 164 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Mar 2019 )