Type-driven Development with Idris

(9781617293023) - Country of publication: UNITED STATES - Dimensions: (H) 235mm, (W) 188mm, (D) 25mm - Manning Publications - Pearson Professional Education - In Print - Professional and scholarly - ISBN: 9781617293023

• Where to buy
• Specifications
• Comments
• FAQs

 Stores where to buy this product

Sponsored  This site contains affiliate links for which we may receive compensation. More information

+ Information about WHSmith

SponsoredType-driven Development with Idris

---

Cheapest Offer

45.99 GBP

View product deal

This product in Comparor
Category This product is cataloged in our store in these categories	- Systems Analysis & Design - Languages - Languages & Tools - Software Testing - Functional Programming - Software Architecture
International Find this product in one of our international stores	This product has not been found in other countries
Colors Predominant colors of the product
Tags	Book Paperback book New book Free book English book Fast book Brand new book Book paperback new New english book Paperback english book Brand new paperback book Type-driven Book Development Book With Idris Book Idris Book Type-driven Development Book Development with idris book With idris development book Book type-driven development Book development with idris Book with idris development Book english type-driven Book new english Idris Idris Type-driven Development Idris New Book Idris Paperback Idris English Idris Type-driven Development New Idris Type-driven Development Book 9781617293023 Book Edwin Book Brady Book Manning Publications Book
Identifiers
Brand	Manning Publications Manning Publications is a publisher of technical books.
ISBN	Manning Publications 1617293024
ID	1842279
Dimensions / Weight
Key Features
Country of publication The nation in which a book or other published work was first released to the public. It indicates the country where the publication event took place, regardless of the author’s nationality or the publisher’s location.	UNITED STATES
Dimensions The pixel dimensions of a display or image, expressed as width by height (e.g., 1920x1080). It indicates how many pixels are used to render the visual content and is commonly used for monitors, TVs, smartphones, cameras, and digital images.	(H) 235mm, (W) 188mm, (D) 25mm
Imprint The name of the entity that publishes or distributes the product. It typically refers to a publishing house, imprint, or brand responsible for producing and releasing the item.	Manning Publications
ISBN A unique identifier assigned to books and other printed publications, typically consisting of 10 or 13 digits. It may include hyphens for readability but is treated as a string value. The ISBN uniquely identifies a specific edition of a title across the publishing industry.	9781617293023
Languages A list of the natural languages in which a product is available or supported.	English
Page count	480
Publisher The name of the entity that publishes or distributes the product, such as a book, magazine, or other media item.	Pearson Professional Education
Status	In Print
Target audience The group of people for whom the product is intended, such as children, adults, professionals, students, or specific educational levels. It helps consumers identify whether a product meets their needs and preferences.	Professional and scholarly
Weight The mass of the product expressed in a standard unit such as grams or kilograms. It represents how heavy the item is and can be used for shipping calculations, handling instructions, or consumer information.	824 grams

Add my opinion about this product

I want to ask a question about this product