Filters
- ACM Books
- Springer
- Springer Verlag
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic
- Academic Press
- Academica Press
- ACM
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- Amazon
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anthem Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Book on Demand Ltd.
- Bottom of the Hill Publishing
- Bpb Publications
- BPB Publications
- Bremen University Press
- British Archaeological Reports Oxford Ltd
- British Film Institute
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- Butterworth-Heinemann
- Byul Hur
- C&T Publishing
- CABI
- Cabi
- CBS Publishers & Distributors Pvt. Ltd.
- CCB Publishing
- CRC Press
- ACM Books
- Springer
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- Academica Press
- ACM
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anthem Press
- Apple Acad
- Apple Academic Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Aspen Publishers
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Book on Demand Ltd.
- Bottom of the Hill Publishing
- Bpb Publications
- BPB Publications
- Bremen University Press
- British Archaeological Reports Oxford Ltd
- British Film Institute
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- But-Hein
- Butterworth-Heinemann
- Byul Hur
- Computer Science and Information Technology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- General Books
- Graphic Design & Animation
- History
- Library & Information Science
- Mathematics and Statistics
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Writing/Research Methods
- Abhinab Dutta
- Adrien Bartoli
- Alaeddine Hmidi
- Alberto del Bimbo
- Alfonso J. Kinglow
- Álvaro Rocha
- Anara Baimagambetova
- Andrea Vedaldi
- Andreas Sofroniou
- Anonymous
- Arie Gurfinkel
- Ascent -. Center for Technical Knowledge
- Asha Sohal
- Axton Nexus
- Borko Furht
- Brian Houghton Hodgson
- Cesar Herrera
- Chris Minnick
- D. James Benton
- David A. Patterson
- David Bateman
- David Fleet
- Dines Bjørner
- Dmitry Vostokov
- Ekkehard Kaier
- Elian Greystone
- Elmozamil Elamir
- Felicia Toliver
- Gerard O'Regan
- Godspower Ekuobase
- Hans Petter Langtangen
- Hartmut Ehrig
- Huazhong Liu
- Igor Schagaev
- Ihab Al-Qazzaz
- Inna Birillo
- Jack W. Plunkett
- Jadeja Indrajitsinh
- James Bernstein
- James Floyd Kelly
- Jean Marcel Mbikayi Mpanya
- Jean-Pierre Couwenbergh
- Joaquim Filipe
- Joaquin Garcia-Alfaro
- Jose L. Encarnacao
- Juan Carlos Figueroa-García
- June Jamrich Parsons
- Jyoti Choudrie
- Kalaimani S
- Kenwright
- Landmark Publications
- Leonid Karlinsky
- Luca Maria Aiello
- Manfred Broy
- Marco Bernardo
- Margarita N. Favorskaya
- Maria Virvou
- Marian Bubak
- Martin Wirsing
- Mehmet Sahinoglu
- Michael J. Rider
- Michael M. Resch
- Michel Bidoit
- Miguel Botto-Tobar
- Mohammad Kaleem Galamali
- Muhammad Ashraf Mokhrizal
- N. Stephen
- Nadia Bouaoudia-Madi
- Nadia Magnenat-Thalmann
- Osvaldo Gervasi
- Oxford University Press
- Paramjit Kaur
- Patricia Pesado
- Paul Tran
- Prasad Puthiyillam
- Prof Sham Tickoo Purdue Univ
- Puja Acharya
- Radek Silhavy
- Roger Lee
- Rogério de Lemos
- Roman Wyrzykowski
- S. Balamurugan
- S. L. Jany Shabu
- S. Sumathi
- Saeed Nouri
- Saumya Shukla
- Shadi Zeinali
- Shai Avidan
- Shivendra Singh
- Slimane Hammoudi
- Steve McClure
- Steve McConnell
- Suresh Chandra Satapathy
- Tai-hoon Kim
- Tarek Sobh
- Thompson Carter
- Tiziana Margaria
- Weixia Xu
- Wenliang Du
- William E. Clark
Products
Theories of Programming: The Life and Works of Tony Hoare
Cliff B. Jones, Jayadev Misra
Paperback
Current price
₹4,299
Original price
₹5,159
Original price
₹5,159
Original price
₹5,159
(-17%)
₹4,299
Current price
₹4,299
| /
• Author(s): Cliff B. Jones | Jayadev Misra • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: HistorySir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software developmen...
View full details
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 8-10 January 1992
Cliff B. Jones
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Cliff B. Jones • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicRefinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs ...
View full details
Understanding Programming Languages
Cliff B. Jones
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Cliff B. Jones • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Computer ScienceFrom the Back CoverThis book is about describing the meaning of programming lan...
View full details
