Filters
- ACM Books
- Wiley
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K Peters
- A K PETERS
- A. Smith Media
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic Press
- Academiques
- ACM
- Acorn Books
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Big Mac Publishers
- Big Nerd Ranch Guides
- Billding Software
- Birkhauser
- Bloomsbury Education
- Bloomsbury Publishing (UK)
- BPB Publications
- ACM Books
- Wiley
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- A. Smith Media
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic Press
- Academiques
- ACM
- Acorn Books
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Apple Acad
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- BPB Publications
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Food Science & Technology
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Physics and Astronomy
- Religion and Philosophy
- A. de Quattro
- Adrian-Horia Dediu
- Ajit Singh
- Al Sweigart
- Alan Grid
- Alexander Cane
- Alexander Meduna
- Alfio Quarteroni
- Ali Kaveh
- Alice Schwartz
- Amara Hawthorn
- Ana I. Pereira
- Andrew Adamatzky
- Andrew Albert
- Andy Vickler
- Anshuman Mishra
- Anthony Bonato
- Anthony Brabazon
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Boozman Richard
- Carlos Martín-Vide
- Charlie Masterson
- Christian Maurer
- Christos Kaklamanis
- Cícero Dos Santos Teixeira
- Cliff B. Jones
- Code Well Academy
- Computer Programming Academy
- Corwin Halesworth
- Danny Munrow
- Dhanasakkaravarthi B
- Ding-Zhu Du
- Elian Greystone
- Erik Cuevas
- Evripidis Bampis
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Francis Gurtowski
- Frank Dehne
- G. Arockia Sahaya Sheela
- Huazhong Liu
- Ivo Balbaert
- Jagdish Chand Bansal
- Jamie Flux
- Jan Van Leeuwen
- Jiří Mikyska
- Jianer Chen
- Josep Diaz
- Joyce Farrell
- Kameron Hussain
- Klaus Jansen
- Larry Jones
- Leo Code
- Leszek Rutkowski
- Lucien Sina
- Matthew D. Passmore
- Maxwell Vector
- Miguel Farmer
- Mike McGrath
- Mohamed Skander Daas
- Narasimha Karumanchi
- Niklaus Wirth
- Nilanjan Dey
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Paul Deitel
- Phil Bagge
- Pythquill Publishing
- Radek Silhavy
- Rafael Sanders
- Rajaraman V.
- Reactive Publishing
- Reema Thareja
- Richard Boozman
- Rick Riolo
- Robert C. Matthews
- Roberto Cruz Acosta
- Roman Wyrzykowski
- Samuel Hack
- Sebastian Dörn
- Sqlpy Wizard
- Stefka Fidanova
- Steve Jones
- Theophilus Edet
- Thomas Erlebach
- Thompson Carter
- Tianqing Zhu
- Tim Roughgarden
- Timothy Masters
- Weili Wu
- Wolfgang Banzhaf
- X. Y. Wang
- Xin-She Yang
- Yang Hu
- Yashavant Kanetkar
- Zahir Tari
Products
Programming Language Foundations
Aaron Stump
Paperback
Current price
₹9,643
Original price
₹12,053
Original price
₹12,053
Original price
₹12,053
(-20%)
₹9,643
Current price
₹9,643
| /
• Author(s): Aaron Stump • Publisher: Wiley • Publisher Imprint: Wiley • BISAC: Programming - GeneralProgramming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for...
View full details
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
