Filters
- ACM Books
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K Peters
- A K PETERS
- 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
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Apophis Enterprises LLC
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- 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
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Barrons Educational Services
- 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)
- Bloomsbury SIGMA
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- BPB Publications
- ACM Books
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- 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
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Apophis Enterprises LLC
- Apple Acad
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- 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
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Barrons Educational Services
- 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
- Birkhäuser
- Birkhauser Basel
- Birkhauser Boston
- Bloomsbury Education
- 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. Migdalas
- Aboul-Ella Hassanien
- Adam Slowik
- Adesh Silva
- Ajith Abraham
- Alan Grid
- Alexander J. Zaslavski
- Alexander Meduna
- Ali Emrouznejad
- Ali Kaveh
- Amit Kumar
- Anand J. Kulkarni
- Andrew Adamatzky
- Andrew B. Kahng
- Anthony Brabazon
- Aryya Gangopadhyay
- Ashish Ghosh
- Behrooz Parhami
- Benjamin Doerr
- Bir Bhanu
- Carlos Cotta
- Celso C. Ribeiro
- Chi-Keong Goh
- Christian Ullenboom
- Christodoulos A. Floudas
- Cliff B. Jones
- Constantine Pozrikidis
- Cornelius T. Leondes
- D. Jude Hemanth
- Dale Miller
- David D. Thornburg
- David G. Luenberger
- David Matuszek
- Diego Oliva
- Dimitris Bertsimas
- Ding-Zhu Du
- Domenico Talia
- Donald Knuth
- E. S. Gopi
- El-Ghazali Talbi
- Elizabeth Noll
- Emily Jones
- Enrique Alba
- Erik Cuevas
- Fabrizio Riguzzi
- Fedor V. Fomin
- Ferrante Neri
- Fiona Hobbs
- Flemming Nielson
- Frank Werner
- Franz Rothlauf
- Gabriel Valiente
- Gagniuc
- Georg P. Loczewski
- George Anthony Gorry
- George B. Dantzig
- Gerard O'Regan
- Giorgio Ausiello
- Gregory J. Chaitin
- Guojun Gan
- Habib Izadkhah
- Hang T. Lau
- Hans Petter Langtangen
- Hans-Joachim Bungartz
- Herbert Edelsbrunner
- Hiroshi Yuki
- Hitoshi Iba
- Information Reso Management Association
- Ioannis Vlahavas
- Ionut Danaila
- Irfan Ali
- Ivan Stanimirovic
- J. Roger Hindley
- Javier del Ser Lorente
- Jen Blackwood
- Jeremy G. Siek
- Jiuwen Cao
- Joe Oswald
- John Wood
- Juraj Hromkovič
- Krzysztof R. Apt
- Mokhtar S. Bazaraa
- Nilanjan Dey
- Oscar Castillo
- Pandian Vasant
- Panos M. Pardalos
- Patricia Melin
- Richard Bird
- Rick Riolo
- Sam Key
- Seyedali Mirjalili
- Stefka Fidanova
- Steven M. Lavalle
- Tarek Sobh
- Vangelis Th Paschos
- Veljko Milutinovic
- William H. Press
- Witold Pedrycz
- Xin-She Yang
- Ying-Ping Chen
Products
Verified Functional Programming in Agda
Aaron Stump
Hardcover
Current price
₹10,458
Original price
₹12,550
Original price
₹12,550
Original price
₹12,550
(-17%)
₹10,458
Current price
₹10,458
| /
• 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
