Filters
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters
- A. Smith Media
- 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
- ACM Books
- 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
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arizona Business Alliance
- 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
- AV Akademikerverlag
- 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)
- BPB Publications
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- A. Smith Media
- 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
- ACM Books
- 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
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Apple Acad
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arizona Business Alliance
- 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
- AV Akademikerverlag
- 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
- 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
- Abdelfattah Ragab
- Abdul Hanif Abdul Halim
- Aboul-Ella Hassanien
- Adesh Silva
- Ajith Abraham
- Alan Grid
- Alexander J. Zaslavski
- Alexander Meduna
- Ali Kaveh
- Amit Kumar
- Anand J. Kulkarni
- Andrew Adamatzky
- Andrew B. Kahng
- Anthony Brabazon
- Armin Biere
- Armin Iske
- Behrooz Parhami
- Benjamin Doerr
- Bertrand Meyer
- Bir Bhanu
- Bob Mather
- Boris Goldengorin
- Brij B. Gupta
- Carlos Cotta
- Celso C. Ribeiro
- Charu C. Aggarwal
- Chi-Keong Goh
- Christian Ullenboom
- Christodoulos A. Floudas
- Cliff B. Jones
- Constantine Pozrikidis
- Cristina Videira Lopes
- D. Jude Hemanth
- Dale Miller
- Daniel Kroening
- David A. Grossman
- David D. Thornburg
- David G. Luenberger
- David Matuszek
- David P. Williamson
- Diego Oliva
- Dimitris Bertsimas
- Ding-Zhu Du
- Domenico Talia
- Donald Davendra
- Donald E. Knuth
- Donald Knuth
- Dov M. Gabbay
- Dr Rahul Sharma
- E. S. Gopi
- El-Ghazali Talbi
- Enrique Alba
- Erik Cuevas
- Fiona Hobbs
- Flemming Nielson
- Frank Werner
- Gabriel Valiente
- Gagniuc
- Gerard O'Regan
- Information Reso Management Association
- Ivan Zelinka
- Javier del Ser Lorente
- Jiuwen Cao
- John J. Grefenstette
- John Wood
- Juraj Hromkovič
- Katy Spalding
- Kayhan Erciyes
- Krzysztof R. Apt
- M. H. Alsuwaiyel
- Michael Filimowicz
- Mikhail Moshkov
- Mokhtar S. Bazaraa
- Nilanjan Dey
- Oscar Castillo
- Pandian Vasant
- Panos M. Pardalos
- Patricia Melin
- Peng-Yeng Yin
- Richard Bird
- Richard Jones
- Rick Riolo
- Ritu Tiwari
- Rolf Drechsler
- Sam Key
- Seyedali Mirjalili
- Stefka Fidanova
- Steven M. Lavalle
- Suyel Namasudra
- Tarek Sobh
- Teofilo F. Gonzalez
- Tim Roughgarden
- Vangelis Th Paschos
- William H. Press
- Witold Pedrycz
- Wolfgang Banzhaf
- Xin-She Yang
- Ying-Ping Chen
- Zong Woo Geem
Products
Deductive Program Design
Manfred Broy
Hardcover
Current price
₹14,553
Original price
₹22,389
Original price
₹22,389
Original price
₹22,389
(-35%)
₹14,553
Current price
₹14,553
| /
• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedDeductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction ...
View full details
