Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[Subject: programming-open-source]”

Verified Functional Programming in Agda by Aaron Stump

Verified Functional Programming in Agda

Aaron Stump

Hardcover

₹11,352
₹13,623
₹13,623
₹13,623
(-17%)
₹11,352
₹11,352

• Author(s): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...

View full details
Verified Functional Programming in Agda by Aaron Stump

Verified Functional Programming in Agda

Aaron Stump

Paperback

₹8,247
₹9,897
₹9,897
₹9,897
(-17%)
₹8,247
₹8,247

• Author(s): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...

View full details
Home
Genres
Account
Call Us
Chat