"synopsis" may belong to another edition of this title.
“Verified Functional Programming in Agda is an excellent introduction to the field of dependently typed programming. Stump does a great job of making the subject accessible to beginners without shying away from the more advanced topics.” – Ulf Norell, Chalmers University of Technology, Sweden
"About this title" may belong to another edition of this title.
Shipping:
US$ 3.99
Within U.S.A.
Book Description Condition: New. Seller Inventory # ABLIING23Mar3012140096467
Book Description Hardcover. Condition: new. This item is printed on demand. Seller Inventory # 9781970001273
Book Description Condition: New. Book is in NEW condition. 1.2. Seller Inventory # 1970001275-2-1
Book Description Condition: New. New! This book is in the same immaculate condition as when it was published 1.2. Seller Inventory # 353-1970001275-new
Book Description HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9781970001273
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781970001273_lsuk
Book Description Hardcover. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_1970001275
Book Description Hardcover. Condition: Brand New. 283 pages. 9.25x7.50x0.90 inches. In Stock. Seller Inventory # x-1970001275
Book Description Condition: new. Seller Inventory # FrontCover1970001275
Book Description Hardcover. Condition: new. New. Seller Inventory # Wizard1970001275