You are viewing content intended for a different location. This may affect your ability to shop online.

Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Online ordering is currently unavailable. For all order enquiries please contact Customer Services at cs_asia@cambridge.org

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Software engineering and development

Results

Filter

Current filters

Refine results

Results

Per Page 1 – 12 of 85
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: February 2026
ISBN: 9781009420990
Availability: Not yet published - available from June 2026
Format: Hardback
View product
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: February 2026
ISBN: 9781009421027
Availability: Not yet published - available from June 2026
Format: Paperback
View product
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: N/A
ISBN: 9781009420983
Format: Adobe eBook Reader
View product
✕
Programming in Ada 2022
Programming in Ada 2022
John Barnes John Barnes
Published: November 2024
ISBN: 9781009564779
Availability: Not yet published - available from June 2026
Format: Paperback
View product
✕
Software Engineering
Software Engineering
Basic Principles and Best Practices
Ravi Sethi Ravi Sethi
Published: December 2022
ISBN: 9781316511947
Availability: Temporarily unavailable - no date available
Format: Hardback
View product
✕
Real World OCaml: Functional Programming for the Masses
Open Access
Real World OCaml: Functional Programming for the Masses
Anil Madhavapeddy
(+1 other) Anil Madhavapeddy
Yaron Minsky
Edition: 2nd Edition
Published: October 2022
ISBN: 9781009125802
Availability: Temporarily unavailable - no date available
Format: Paperback
View product View Open Access
✕
Introduction to Medical Software
Introduction to Medical Software
Foundations for Digital Health, Devices, and Diagnostics
Xenophon Papademetris
(+2 others) Xenophon Papademetris
Ayesha N. Quraishi
Gregory P. Licholai
Published: June 2022
ISBN: 9781316514993
Availability: Temporarily unavailable - no date available
Format: Hardback
View product
✕
Programming in Ada 2012 with a Preview of Ada 2022
Programming in Ada 2012 with a Preview of Ada 2022
John Barnes John Barnes
Edition: 2nd Edition
Published: May 2022
ISBN: 9781009181341
Availability: Not yet published - available from June 2026
Format: Paperback
View product
✕
Essentials of Software Testing
Essentials of Software Testing
Ralf Bierig
(+3 others) Ralf Bierig
Stephen Brown
Edgar Galván
(+1 other)
Published: November 2021
ISBN: 9781108833349
Availability: Temporarily unavailable - no date available
Format: Hardback
View product
✕
Practical Formal Software Engineering
Practical Formal Software Engineering
Wanting the Software You Get
Bruce Mills Bruce Mills
Published: December 2019
ISBN: 9781108818643
Availability: Available, despatch within 3-4 weeks
Format: Paperback
View product
✕
Practical Formal Software Engineering
Practical Formal Software Engineering
Wanting the Software You Get
Bruce Mills Bruce Mills
Published: December 2019
ISBN: 9780511500787
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Practical Formal Software Engineering
Practical Formal Software Engineering
Wanting the Software You Get
Bruce Mills Bruce Mills
Published: January 2009
ISBN: 9780521879033
Availability: Temporarily unavailable - no date available
Format: Hardback
View product
✕
Cloud Computing
Cloud Computing
Sandeep Bhowmik Sandeep Bhowmik
Published: September 2018
ISBN: 9781108302654
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Cloud Computing
Cloud Computing
Sandeep Bhowmik Sandeep Bhowmik
Published: April 2017
ISBN: 9781316638101
Availability: Temporarily unavailable - no date available
Format: Paperback
View product
✕
Knowledge Driven Development
Knowledge Driven Development
Bridging Waterfall and Agile Methodologies
Manoj Kumar Lal Manoj Kumar Lal
Published: March 2018
ISBN: 9781108475211
Availability: Temporarily unavailable - no date available
Format: Hardback
View product
✕
Knowledge Driven Development
Knowledge Driven Development
Bridging Waterfall and Agile Methodologies
Manoj Kumar Lal Manoj Kumar Lal
Published: N/A
ISBN: 9781108681407
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Introduction to Software Testing
Introduction to Software Testing
Paul Ammann
(+1 other) Paul Ammann
Jeff Offutt
Edition: 2nd Edition
Published: December 2016
ISBN: 9781107172012
Availability: Temporarily unavailable - available from June 2023
Format: Hardback
View product
✕
Introduction to Software Testing
Introduction to Software Testing
Paul Ammann
(+1 other) Paul Ammann
Jeff Offutt
Edition: 2nd Edition
Published: December 2016
ISBN: 9781316774366
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Real-Time Software Design for Embedded Systems
Real-Time Software Design for Embedded Systems
Hassan Gomaa Hassan Gomaa
Published: May 2016
ISBN: 9781316478431
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Real-Time Software Design for Embedded Systems
Real-Time Software Design for Embedded Systems
Hassan Gomaa Hassan Gomaa
Published: May 2016
ISBN: 9781107041097
Availability: Temporarily unavailable - no date available
Format: Hardback
View product
Per Page 1 – 12 of 85

Browse by related subject

 
✕

Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

Customer Services

Cambridge University Press