Search results for “[subject: software-development-engineering-tools]”
Filters
- Springer
- 99m
- 12th Media Services
- A1 Entities, Inc.
- A K PETERS
- Academic Press
- ACM
- Adactin Group Pty Ltd
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Alaric Hemingway
- Amacom
- Amebarki Informatics
- American Society of Mechanical Engineers,U.S.
- Anova
- Apress
- 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 Learning & Development Limited
- 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
- 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
- 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
- Engineering Management Institute
- Engineering Science Reference
- Evelyn McKnight
- Examicus Verlag
- Eyrolles Group
- Fingerpress
- First Edition
- For Dummies
- Francis Mukobi
- Friends of ED
- Gabler Verlag
- Gatekeeper Press
- Goodheart-Wilcox Publisher
- Greenwood
- Grin Verlag
- Guilford Publications
- Half Fast Publishing
- Hassell Street Press
- Hay House
- Springer
- 99m
- 12th Media Services
- A1 Entities, Inc.
- A K Peters
- A K PETERS
- Acad Pr
- Academic Press
- ACM
- Adactin Group Pty Ltd
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Alaric Hemingway
- Amacom
- Amebarki Informatics
- American Society of Mechanical Engineers,U.S.
- Apple Academic Press
- Apress
- 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 Learning & Development Limited
- 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
- 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
- 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
- Engineering Management Institute
- Engineering Science Reference
- Evelyn McKnight
- Examicus Verlag
- Eyrolles Group
- Fingerpress
- First Edition
- Focal Press
- For Dummies
- Francis Mukobi
- Friends of ED
- 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
- Tourism, Travel Guide & Hospitality
- Adair Dingle
- Ahmed Nabil Louahem m'Sabah
- Ajit Singh
- Akira Hanako
- Alaeddine Hmidi
- Alistair G. Sutcliffe
- Allan Brito
- Amar Saraswat
- Amara Hawthorn
- American Society Of Mechanical Engineers Staff
- Anatoly Perelmuter
- Andy Schürr
- Annabelle McLver
- Anonymous
- Asadi
- Ascent - Center for Technical Knowledge
- Ascent -. Center for Technical Knowledge
- Ayaz Isazadeh
- Bernhard Rumpe
- Bertrand Meyer
- Booker Blunt
- Brent Laster
- Bui Minh Duc
- Caden Hawthorne
- Cal Rowe
- Caldren Voss
- Camila Jones
- Charles Sprinter
- Christodoulos A. Floudas
- Clifford C. Sowders
- Clifford Liem
- Codingtmd
- Collectif
- Conrad Matschoß
- Danny Weyns
- David W. Embley
- Derrick G. Kourie
- Diana Schmidt
- Diego Silva
- Dietmar Winkler
- Dirk Abel
- Dmitry Vostokov
- Educera Publishing
- Egon Börger
- Elian Greystone
- Elijah Lewis
- Ethan Thorpe
- Fabrice Kordon
- Farzin Asadi
- Felix Kossak
- Flávia Gonçalves Fernandes
- Fouad Soliman
- Gary Gruver
- Gary Metcalfe
- Gaurav Verma
- Georg Herzwurm
- Gerard O'Regan
- Gerhard Versteegen
- Gordon B. Bach
- Greg Anthony
- Greyson Chesterfield
- Gurhan Tarman
- Han Van Loon
- Hans-Jörg Bullinger
- Harald Grundner
- Hollis Denning
- Iman Poernomo
- Information Reso Management Association
- Iris Reinhartz-Berger
- Jack Crenshaw
- James M. Longuski
- Jason K. Benitez
- Jean Marcel Mbikayi Mpanya
- Jennifer Harder
- Jessica Keyes
- Jimmy Rolando Molina Ríos
- Joachim Piprek
- John Fitzgerald
- Jonathan P. Bowen
- José Francisco Aldrete Enríquez
- Kalman Toth
- Laith Habeeb
- Lijun Zhang
- Manfred Nagl
- Muhammetnur Atayev
- Parbhat Gupta
- Paul Tran
- Reiner Dumke
- Rhys Gallagher
- Rosa Imelda García Chi
- S. Gopalakrishnan
- Sharmili Kc
- Singh
- Somnath Thigale
- Steve McConnell
- Syed Adnan Afaq
- Thompson Carter
- Tiziana Margaria
- Vinod Veeramachaneni
- Wolfgang Reisig
Products
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
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
