Filters
- ACM Books
- Wiley
- 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
- 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
- Wiley
- 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
- 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
- Music, Theatre & Films
- Physics and Astronomy
- Religion and Philosophy
- A. de Quattro
- A. Migdalas
- Adam Slowik
- Ajith Abraham
- Alan Grid
- Alexander Cane
- Alexander Meduna
- Alfio Quarteroni
- Ali Kaveh
- Amara Hawthorn
- Amit Kumar
- Andrew Adamatzky
- Andy Vickler
- Anshuman Mishra
- Anthony Bonato
- Anthony Brabazon
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Boozman Richard
- Carlos Cotta
- Charlie Masterson
- Charu C. Aggarwal
- Cliff B. Jones
- Code Well Academy
- Computer Programming Academy
- David Matuszek
- Diego Oliva
- Dietmar Herrmann
- Ding-Zhu Du
- E3
- Elian Greystone
- Enrique Alba
- Erik Cuevas
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Flemming Nielson
- Francis Gurtowski
- Frank Dehne
- Frank Werner
- Franz Rothlauf
- G. Arockia Sahaya Sheela
- Giuseppe Bonaccorso
- Hans Petter Langtangen
- Hitoshi Iba
- Huazhong Liu
- Ivo Balbaert
- Jagdish Chand Bansal
- Jan Van Leeuwen
- Jean-Marc Adamo
- Jianer Chen
- Jiuwen Cao
- John A. Trangenstein
- Josep Diaz
- Joyce Farrell
- Juraj Hromkovič
- Kameron Hussain
- Klaus Jansen
- Krzysztof R. Apt
- Leo Code
- Leszek Rutkowski
- Lucien Sina
- Manfred Broy
- Matthew D. Passmore
- Michel Raynal
- Miguel Farmer
- Mohamed Skander Daas
- Naveed A. Sherwani
- Nilanjan Dey
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Phil Bagge
- Radek Silhavy
- Rafael Sanders
- Rick Riolo
- Robert C. Matthews
- Roman Wyrzykowski
- Sam Key
- Sebastian Dörn
- Seyedali Mirjalili
- Stefka Fidanova
- Steve Jones
- Tarek Sobh
- Teofilo F. Gonzalez
- Theophilus Edet
- Thompson Carter
- Tianqing Zhu
- Tim Roughgarden
- Timothy Masters
- Veljko Milutinovic
- Weili Wu
- Witold Pedrycz
- Wolfgang Banzhaf
- X. Y. Wang
- Xin-She Yang
- Yang Hu
- Zahir Tari
- Zong Woo Geem
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
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
