TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 22ND 2016. (TYPES 2016)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 22ND 2016. (TYPES 2016)

Item #:
042262
Our Price: $104.00
Adding to cart… The item has been added

Details

  • Title: 22nd International Conference on Types for Proofs and Programs (TYPES 2016)
  • Date/Location: Held 23-26 May 2016, Novi Sad, Serbia.
  • Series: Leibniz International Proceedings in Informatics Volume 97
  • Editor: Ghilezan, S. et al.
  • ISBN: 9781510875494
  • Pages: 344 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Dec 2018 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 22nd International Conference on Types for Proofs and Programs (TYPES 2016)
  • Date/Location: Held 23-26 May 2016, Novi Sad, Serbia.
  • Series: Leibniz International Proceedings in Informatics Volume 97
  • Editor: Ghilezan, S. et al.
  • ISBN: 9781510875494
  • Pages: 344 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Dec 2018 )