Filters
- Springer
- 12th Media Services
- A K Peters
- A K PETERS
- Ablex Publishing Corporation
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Addison-Wesley Professional
- Adlard Coles Nautical Press
- Afnil
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- AKINT
- Alexander Tetelbaum
- Amazon
- Amazon Digital Services LLC - KDP Print US
- Amberley Publishing
- American Geophysical Union
- American Library Association
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- Anchor Academic Publishing
- Ane Books
- Anova
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Arm Education Media UK
- Artech House
- Artech House Publishers
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- ASM International
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avedition
- Aviation Supplies & Academics
- Avidbook Publishing Agency
- Balboa Press
- Balmos Hathorn
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Basic to Advanced Computer Aided Design Using
- Benediction Classics
- Bentham Science Publishers
- Berghahn Books
- Bernard Babani Publishing
- Bibliogov
- Biblioscholar
- Binker North
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing (UK)
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Bmj Publishing Group
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- Bookleaf Publishing
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- BPP Learning Media Medical
- Braddock Bull
- Bradford Book
- Braun-Verlag
- Bravex Publications
- Breenae Washington
- British Library, Historical Print Editions
- Brooke Strahan
- Brooks Cole
- Brooks/Cole Pub Co
- Broquard eBooks
- Brown Walker Press
- BSP Books
- Springer
- 12th Media Services
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Addison-Wesley Professional
- AddisWesle
- Adlard Coles Nautical Press
- Afnil
- AIAA
- AIAA (American Institute of Aeronautics & Ast
- AKINT
- Alexander Tetelbaum
- Amazon Digital Services LLC - KDP Print US
- Amberley Publishing
- American Geophysical Union
- American Library Association
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- American Society of Mechanical Engineers,U.S.
- American Water Works Association
- Anchor Academic Publishing
- Ane Books
- Anson Street Press
- Anthem Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Acad
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Arm Education Media UK
- Artech
- Artech House Publishers
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- ASM International
- Aspen Publishing
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avedition
- Aviation Supplies & Academics
- Avidbook Publishing Agency
- Balboa Press
- Balmos Hathorn
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Basic to Advanced Computer Aided Design Using
- Bedford
- Benediction Classics
- Bentham Science Publishers
- Berghahn Books
- Bernard Babani Publishing
- Bibliogov
- Biblioscholar
- Binker North
- Birkhauser
- Birkhäuser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Bmj Publishing Group
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- Bookleaf Publishing
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- BPP Learning Media Medical
- Braddock Bull
- Bradford Book
- Braun-Verlag
- Bravex Publications
- Breenae Washington
- BSP Books
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- History
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Writing/Research Methods
-  Сингх
- Abhishek Swaroop
- Aboul Ella Hassanien
- Air Force Institute of Technology (U
- Ajit Singh
- Ajith Abraham
- Álvaro Rocha
- American Society Of Mechanical Engineers Staff
- Anand J. Kulkarni
- Andreas Öchsner
- Ankit Kumar
- Anonymous
- ASME
- Atul
- Bernard J. Jansen
- Bibudhendu Pati
- Bing-Yuan Cao
- Borko Furht
- Brijesh Iyer
- Chhabi Rani Panigrahi
- Christo Ananth
- D. Jude Hemanth
- David Jin
- Devendra Kumar Sharma
- Dinggang Shen
- Egon Krause
- Erik Cuevas
- Ernesto Damiani
- Erol Gelenbe
- Flávia Gonçalves Fernandes
- George A. Anastassiou
- Gerard O'Regan
- H. S. Saini
- Halimah Badioze Zaman
- Hans-Joachim Bungartz
- Hartmut Ehrig
- Hujun Yin
- J. A. Tenreiro Machado
- Jack Dongarra
- James J. Park
- Jamie Flux
- Janusz Kacprzyk
- Jason C. Hung
- Jcm-Nystce Test Preparation Group
- Jennifer S. Raj
- João Manuel R. S. Tavares
- José Antonio Marmolejo-Saucedo
- José Cordeiro
- Juan Carlos Figueroa-García
- Jyoti Choudrie
- Kanubhai K. Patel
- Khaled Elleithy
- Kohei Arai
- Kumar A. Anand
- Lazaros S. Iliadis
- M. Shamim Kaiser
- Manfred Broy
- Manoj Dole
- Marcelo V. Garcia
- Mario Dal Cin
- Matheus Carvalho
- Michael Griebel
- Michael J. Rider
- Michael Webster
- Miguel Botto-Tobar
- Mohamed Ben Ahmed
- Mukesh Saraswat
- Mykola Nechyporuk
- Nabendu Chaki
- Nasa Technical Reports Server (Ntrs)
- National Aeronautics and Space Admini
- National Aeronautics and Space Administr
- Neha Sharma
- Ngoc Thanh Nguyen
- Nilanjan Dey
- Olga Yeremenko
- Panos M. Pardalos
- Qilian Liang
- R. Glowinski
- Radek Silhavy
- Roger Lee
- Roman Szewczyk
- Saumya Shukla
- Shengzhao Long
- Siddhartha Bhattacharyya
- Siegfried Wagner
- Sio-Iong Ao
- Speedy Publishing LLC
- Suresh Chandra Satapathy
- Tarek Sobh
- Us Army Corps of Engineers
- Vikrant Bhateja
- Weixia Xu
- Wenjiang Du
- Wojciech Zamojski
- Wolfgang E. Nagel
- Xin-She Yang
- Yuhua Luo
- Zhengbing Hu
- Zhihong Qian
Products
Conquering Complexity
Mike Hinchey
Paperback
Current price
₹10,915
Original price
₹16,792
Original price
₹16,792
Original price
₹16,792
(-35%)
₹10,915
Current price
₹10,915
| /
• Author(s): Mike Hinchey • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverSoftware has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognis...
View full details
Provably Correct Systems
Mike Hinchey
Paperback
Current price
₹7,345
Original price
₹11,299
Original price
₹11,299
Original price
₹11,299
(-35%)
₹7,345
Current price
₹7,345
| /
• Author(s): Mike Hinchey • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverAs computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and th...
View full details
