Filters
- ACM Books
- Wiley
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 50minutes.com (Pl)
- 1st Book Library
- 12th Media Services
- 978-1-7753126-1-1
- 978-1-7773545-1-0
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K PETERS
- A K Peters
- Aaip
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- Acorn Books
- ADA Protosmith
- Adactin Group Pty Ltd
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Adobe Developer Library
- Adopt & Embrace Pty Ltd
- Adventure Times Narratives
- AEI Press
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- Amazon Digital Services LLC - Kdp
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Library Association
- Amicus Ink
- Amicus Learning
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Annabooks, LLC.
- Anson Street Press
- Anurag Anurag
- Anurag Pandey
- Appacore, LLC
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Aries Publishing
- Arkose Press
- Artech House Publishers
- Artima Inc
- Arvind Kumar
- Ascent, Center for Technical Knowledge
- Asian Culture Press
- Association for Computing Machinery
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auris
- Austin Macauley
- Author Jet Press
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azurecurve Publishing
- Bachelor + Master Publishing
- Backupbrain
- Bagatelle Publications
- Balboa Press
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Baso
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Belleyre Books
- Bellwether Media Inc.
- Ben Watson
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Bert Daniels
- BPB Publications
- ACM Books
- Wiley
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 50minutes.com (Pl)
- 1st Book Library
- 12th Media Services
- 978-1-7753126-1-1
- 978-1-7773545-1-0
- 978-83-966847-2-1
- A1 Entities, Inc.
- A K PETERS
- A K Peters/CRC Press
- Aaip
- Abbott Properties
- Abdelfattah Ragab
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- Acorn Books
- ADA Protosmith
- Adactin Group Pty Ltd
- ADavis Publishing
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Adobe Developer Library
- Adopt & Embrace Pty Ltd
- Adventure Times Narratives
- AEI Press
- Aiden Phillips
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- Amazon Digital Services LLC - Kdp
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Library Association
- Amicus Ink
- Amicus Learning
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Annabooks, LLC.
- Anson Street Press
- Anurag Anurag
- Anurag Pandey
- Appacore, LLC
- Apple Academic Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Aries Publishing
- Arkose Press
- Artech House Publishers
- Artima Inc
- Arvind Kumar
- Ascent, Center for Technical Knowledge
- Asian Culture Press
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach Publications
- Auris
- Austin Macauley
- Author Jet Press
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azurecurve Publishing
- Bachelor + Master Publishing
- Backupbrain
- Bagatelle Publications
- Balboa Press
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Baso
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Belleyre Books
- Bellwether Media Inc.
- Ben Watson
- BPB Publications
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Education & Psychology
- Engineering
- General Books
- Graphic Design & Animation
- Mathematics and Statistics
- Physics and Astronomy
- A. de Quattro
- Aaron Guilmette
- Adesh Silva
- Ajit Singh
- Alan Grid
- Amara Hawthorn
- Andrew Troelsen
- Andy Vickler
- Anjana Virmani
- Anonymous
- Anshuman Mishra
- Anthony Colasante
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Boozman Richard
- Caden Hawthorne
- Charlie Masterson
- Christian Ullenboom
- Computer Programming Academy
- Dan Gookin
- David A. Williams
- Dheeraj Malhotra
- Elian Greystone
- Examreview
- Ez-Ref Courseware
- Fabrizio Romano
- Felicia Toliver
- Flemming Nielson
- Frahaan Hussain
- Greyson Chesterfield
- Harry Fairhead
- Herbert Schildt
- Ian Grieve
- Information Reso Management Association
- Innoware Pjp
- Ivo Balbaert
- Ivor Horton
- James Tudor
- Jeremy Gibbons
- Jesse Liberty
- Joan Lambert
- Joel Murach
- John Paul Mueller
- John Smiley
- José Antonio Bernal López
- Juergen Pintaske
- Julitta Korol
- Kalman Toth
- Kameron Hussain
- Kenwright
- Kevin Wilson
- Larry Jones
- Lynn Smith
- M. L. Humphrey
- Marije Brummel
- Mark J. Price
- Matthew D. Passmore
- Matthew MacDonald
- Michelle N. Halsey
- Mikael Olsson
- Mike James
- Mike McGrath
- Nathan Metzler
- Nathan Westwood
- Oscar R. Frost
- Oscar Toledo Gutierrez
- Paul Deitel
- Peter Schiessl
- Peter Weverka
- Phil Bagge
- Philip Conrod
- Rafael Sanders
- Reema Thareja
- Richard Thomas Edwards
- Rick Riolo
- Rinesh S. Prajitha C.
- Robert C. Matthews
- Robert Campbell
- Robin Nixon
- Sam Key
- Sarful Hassan
- Shari Eskenas
- Simon Monk
- Speedy Publishing LLC
- Steve Jones
- Steven Halim
- Theophilus Edet
- Thompson Carter
- Vaskaran Sarcar
- Vic Broquard
- Voon Kiong Liew
- Wallace Wang
- William Brown
- William Panek
- Wolfgang Banzhaf
- X. Y. Wang
- Yang Hu
- Ying Bai
- Yuri Diogenes
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
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
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
