Search results for “[Subject: software-development-engineering-tools]”
Filters
- Springer
- 99m
- 12th Media Services
- A1 Entities, Inc.
- A K PETERS
- Academic Press
- ACM
- ACM Books
- Adactin Group Pty Ltd
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Alan Grid
- Alaric Hemingway
- Amacom
- Amebarki Informatics
- American Society of Mechanical Engineers,U.S.
- Anova
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Artech House
- Artech House Publishers
- Asatte Press, Inc.
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Ashwini Publishing
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- BCS, the Chartered Institute for IT
- Bedford Books
- Bellevue Publishers
- Ben Linders Publishing
- Bibliogov
- Biblioscholar
- Billding Software
- Birdrock Press
- Birkhauser
- Bloomsbury Publishing PLC
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Booksurge Publishing
- Bpb Publications
- BPB Publications
- Buch & Netz
- Butterworth-Heinemann
- CABI
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge University Press
- Cambridge UP
- Cengage Learning
- Central West Publishing
- Chapman and Hall
- Charles M Dominquez
- Clanrye International
- College House Enterprises, LLC
- Conflux Books
- Construx Press
- Corey S. Scott
- CRC Press
- Createspace Independent Publishing Platform
- Crowood Press (UK)
- Deutscher Universitatsverlag
- Digital Press
- Diplom.de
- Diplomica Verlag
- Disserta Verlag
- Dr Naim Tahir Baig
- Dustin McNally
- Eastwood Harris Pty Ltd
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- EDP Sciences
- Elowen Elliott
- Elsevier
- Elsevier Science
- Elsevier Science & Technology
- Engineering Management Institute
- Engineering Science Reference
- Evelyn McKnight
- Examicus Verlag
- Eyrolles Group
- Fingerpress
- For Dummies
- Francis Mukobi
- Frey Innovations, LLC
- Friends of ED
- Gabler Verlag
- Gatekeeper Press
- Genever Benning
- Springer
- 99m
- 12th Media Services
- A1 Entities, Inc.
- A K Peters
- A K PETERS
- Acad Pr
- Academic Press
- ACM
- ACM Books
- Adactin Group Pty Ltd
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Alan Grid
- Alaric Hemingway
- Amacom
- Amebarki Informatics
- American Society of Mechanical Engineers,U.S.
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Artech
- Artech House Publishers
- Asatte Press, Inc.
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Ashwini Publishing
- Atlantic
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- BCS, the Chartered Institute for IT
- Bedford Books
- Bellevue Publishers
- Ben Linders Publishing
- Bibliogov
- Biblioscholar
- Billding Software
- Birdrock Press
- Birkhauser
- Bloomsbury Publishing PLC
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Booksurge Publishing
- Bpb Publications
- BPB Publications
- Buch & Netz
- But-Hein
- Butterworth-Heinemann
- CABI
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge
- Cambridge University Press
- Cengage Learning
- Central West Publishing
- Chapman and Hall
- Chapman Hall
- Charles M Dominquez
- Clanrye International
- College House Enterprises, LLC
- Collin&Br
- Conflux Books
- Construx Press
- Corey S. Scott
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- Crowood Press (UK)
- David Fult
- Deutscher Universitatsverlag
- Digital Press
- Diplom.de
- Diplomica Verlag
- Disserta Verlag
- Dr Naim Tahir Baig
- Dustin McNally
- Eastwood Harris Pty Ltd
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- EDP Sciences
- Elowen Elliott
- Elsevier
- Elsevier Science
- Elsevier Science & Technology
- Engineering Management Institute
- Engineering Science Reference
- Evelyn McKnight
- Examicus Verlag
- Eyrolles Group
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Education & Psychology
- Engineering
- General Books
- Graphic Design & Animation
- Mathematics and Statistics
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Aaron Dutle
- Abdoulaye Gamatié
- Abdulsattar Abdullah Hamad
- Ahmed Bouajjani
- Ahmed Nabil Louahem m'Sabah
- Ajit Singh
- Ajitha Rajan
- Akira Hanako
- Alan Holt
- Alira Vexel
- Alistair Cockburn
- Alistair G. Sutcliffe
- Allan Brito
- Amar Saraswat
- Amara Hawthorn
- American Society Of Mechanical Engineers Staff
- Amr Zaky
- Anatoly Perelmuter
- Andreas Knüpfer
- Andrés Díaz Lantada
- Andy Schürr
- Annabelle McLver
- Anonymous
- Anthony Amadi
- Anthony F. Mills
- Anthony Fasano
- Anu G. Aggarwal
- Arie Dickman
- Asadi
- Ascent - Center for Technical Knowledge
- Ascent -. Center for Technical Knowledge
- ASME
- Ayaz Isazadeh
- Benoit Combemale
- Bernhard Rumpe
- Bernhard Steffen
- Bertrand Meyer
- Booker Blunt
- Brent Laster
- Brian Allbee
- Brian Henderson-Sellers
- Bryan Jester
- Caden Hawthorne
- Caldren Voss
- Camila Jones
- Charles Sprinter
- Christodoulos A. Floudas
- Clifford C. Sowders
- Clifford Liem
- Collectif
- Conrad Matschoß
- Dana Petcu
- Danny Weyns
- Darryl Jeffery
- Diego Silva
- Dmitry Vostokov
- Egon Börger
- Elian Greystone
- Fabrice Kordon
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Fouad Soliman
- Frank S. De Boer
- Gaurav Verma
- Gerard O'Regan
- Gerhard Versteegen
- Greyson Chesterfield
- Iris Reinhartz-Berger
- Jean Marcel Mbikayi Mpanya
- Jennifer Harder
- Jessica Keyes
- John Ferguson Smart
- John Fitzgerald
- Jonathan P. Bowen
- José Francisco Aldrete Enríquez
- Josh Raymond
- Kalman Toth
- Kashif Asad
- Kaushik Kumar
- Laith Habeeb
- Landen Howe
- Lijun Zhang
- Parbhat Gupta
- Randy H. Shih
- Reid Harper
- Rosa Imelda García Chi
- S. Gopalakrishnan
- S. Sumathi
- Sandeep Koranne
- Scott W. Ambler
- Shikha Gautam
- Shraddha N. Zanjat
- Singh
- Srinivas Mudunuri
- Stephen Fleming
- Steve McConnell
- Tarek K. Abdel-Hamid
- Thompson Carter
- Tiziana Margaria
- Vinod Veeramachaneni
Products
The Correctness-By-Construction Approach to Programming
Derrick G. Kourie
Paperback
Current price
₹7,277
Original price
₹11,194
Original price
₹11,194
Original price
₹11,194
(-35%)
₹7,277
Current price
₹7,277
| /
• Author(s): Derrick G. Kourie • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThe focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand...
View full details
The Correctness-By-Construction Approach to Programming
Derrick G. Kourie
Hardcover
Current price
₹7,277
Original price
₹11,194
Original price
₹11,194
Original price
₹11,194
(-35%)
₹7,277
Current price
₹7,277
| /
• Author(s): Derrick G. Kourie • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicFrom the Back CoverThe focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are text...
View full details
