Search results for “[subject: programming-compilers]”
Filters
- ACM Books
- 17 Books Publishing
- 3dtech
- 3dtotal Publishing
- 64 Ink
- 1st Book Library
- 12th Media Services
- 978-1-7392166-0-3
- 978-1-7753126-1-1
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K PETERS
- A&c Black 3pl
- A.E Colonna
- A.F. Slade Publishing
- A.R.E. Press (Association of Research & Enlig
- Aaip
- Aaron Brummet
- Aaron Crenshav
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abingdon Press
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Academic
- Academic Impressions
- Academic Medical Press (Division of Academic
- Academic Press
- Accepted, Inc.
- ACM
- Acorn Books
- Active Pause
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Advantage Media Group
- Advantage World Press
- Adventure Times Narratives
- Adventures Unlimited Press
- Affinitas LLC
- Afnil - ISBN France
- Afolabi Onadipe
- Again I Rise Publishing
- AI Organization
- Aiden Phillips
- Aion Multimedia
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alexia Scott
- Alfonso Floyd
- Ali Cehreli
- Allen & Unwin
- Allen Jervey
- Allworth
- Althea Press
- Amacom
- Amanda Symonds
- Amazon Digital Services LLC - KDP Print US
- Amba Press
- Ambrosius Publishing
- Amelia Hartman
- American Academic Press
- American Academy of Pediatrics
- American Bible Society
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Journal of Health Promotion
- American Library Association
- American Society of Civil Engineers
- Amphoto Books
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Aneko Press
- Ankit Bhandawat
- Annabooks, LLC.
- Anson Street Press
- Anthem Press
- Anu Press
- Anurag Anurag
- Aperture
- Apex Test Prep
- Appacore, LLC
- Apress
- Aprilis Publishing LLC
- ARC Manor
- Arcadia Publishing Library Editions
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Publishing Ltd
- Argus-A Artes y Humanidades
- Arkose Press
- Armor Fiction
- ASCD
- ASTD
- ACM Books
- 17 Books Publishing
- 3dtech
- 3dtotal Publishing
- 64 Ink
- 1st Book Library
- 12th Media Services
- 978-1-7392166-0-3
- 978-1-7753126-1-1
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K PETERS
- A&c Black 3pl
- A.E Colonna
- A.F. Slade Publishing
- A.R.E. Press (Association of Research & Enlig
- Aaip
- Aaron Brummet
- Aaron Crenshav
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abingdon Press
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Academic
- Academic Impressions
- Academic Medical Press (Division of Academic
- Academic Press
- Accepted, Inc.
- ACM
- Acorn Books
- Active Pause
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- Adesh Silva
- Advantage Media Group
- Advantage World Press
- Adventure Times Narratives
- Adventures Unlimited Press
- Affinitas LLC
- Afnil - ISBN France
- Afolabi Onadipe
- Again I Rise Publishing
- AI Organization
- Aiden Phillips
- Aion Multimedia
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alexia Scott
- Alfonso Floyd
- Ali Cehreli
- Allen & Unwin
- Allen Jervey
- Allworth
- Allyn & Ba
- Althea Press
- Amacom
- Amanda Symonds
- Amazon Digital Services LLC - KDP Print US
- Amba Press
- Ambrosius Publishing
- Amelia Hartman
- American Academic Press
- American Academy of Pediatrics
- American Bible Society
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Journal of Health Promotion
- American Library Association
- American Society of Civil Engineers
- Amphoto Books
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Aneko Press
- Ankit Bhandawat
- Annabooks, LLC.
- Anson Street Press
- Anthem Press
- Anu Press
- Anurag Anurag
- Aperture
- Apex Test Prep
- Appacore, LLC
- Apple Academic Press
- Apress
- Aprilis Publishing LLC
- ARC Manor
- Arcadia Publishing Library Editions
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Publishing Ltd
- ASCD
- ASTD
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Economics
- Education & Psychology
- Engineering
- English Literature
- Foreign Languages
- General Books
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Veterinary
- Alan Grid
- Alexander Carson
- Alexander Rhea
- Amara Hawthorn
- Andy Vickler
- Anonymous
- Anshuman Mishra
- Booker Blunt
- Brian Houghton Hodgson
- Charles Kingsley
- Charlie Masterson
- Computer Programming Academy
- Correa (Professional Athlete and Coach)
- Council Writing Program Administrators
- David Hume
- David R. Brooks
- Elian Greystone
- Felicia Toliver
- Gcc Dev Community
- Greyson Chesterfield
- Hannah More
- Harvard University Library
- Henry Edward Manning
- Herbert Schildt
- Hermann Von Helmholtz
- Horace Bushnell
- Isaac Watts
- James Anthony Froude
- Jcm-Nystce Test Preparation Group
- Jcm-Texes Test Preparation Group
- Jerome Cameron Goodwin
- John Aubrey
- John Frederick William Herschel
- John Henry Newman
- John Newton
- John Smiley
- John Stuart Mill
- John Taylor
- Joyce VanTassel-Baska
- Juergen Pintaske
- Kameron Hussain
- Larry Jones
- Lumos Learning
- Margaret Benson
- Math Notion
- Matthew D. Passmore
- Maxwell Vector
- Miguel Farmer
- Mike McGrath
- Multiple Contributors
- Nasa Technical Reports Server (Ntrs)
- Nathan Metzler
- Nathan Westwood
- Oscar R. Frost
- Oscar Toledo Gutierrez
- Rafael Sanders
- Residency Guide
- Richard Davey
- Rick Riolo
- Robert C. Matthews
- Robert Campbell
- Ryan Turner
- Sam Key
- Samuel Davies
- Samuel Seabury
- Sarful Hassan
- Sharon A. Wynne
- Speedy Publishing LLC
- Sqlpy Wizard
- Steve Jones
- The Law Library
- The Perfect Library
- Theophilus Edet
- Thomas Heywood
- Thomas Secker
- Thomas Wright
- Thompson Carter
- Tim Warren
- U S Environmental Protection Agency
- U. S. Air Force
- U. S. Dept of Housing and Urban Developm
- U. S. Government Accountability Office (
- U. S. Government Printing Office (Gpo)
- United States
- United States Congress House Commi
- United States Congress House Committe
- United States Congress House of Represen
- United States Congress Senate
- United States Congress Senate Committ
- United States Congress Senate Committee
- United States Department of Education Ed
- United States Department of the Army
- United States Government Accountability
- United States House of Representatives
- University of Michigan College of Liter
- Us Department of Agriculture (Usda)
- Utpal Banerjee
- Vaskaran Sarcar
- William Brown
- William Buell Sprague
Products
Verified Functional Programming in Agda
Aaron Stump
Paperback
Current price
₹8,247
Original price
₹9,897
Original price
₹9,897
Original price
₹9,897
(-17%)
₹8,247
Current price
₹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
