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

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 84
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: February 2026
ISBN: 9781009420990
Availability: In stock
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: In stock
Format: Paperback
View product
✕
Formal Methods, Informally
Formal Methods, Informally
How to Write Programs That Work
Carroll Morgan Carroll Morgan
Published: January 2026
ISBN: 9781009420983
Availability: Not yet published - available from January 2026
Format: Adobe eBook Reader
View product
✕
Programming in Ada 2022
Programming in Ada 2022
John Barnes John Barnes
Published: November 2024
ISBN: 9781009564779
Availability: Available
Format: Paperback
View product
✕
Programming in Ada 2022
Programming in Ada 2022
John Barnes John Barnes
Published: November 2024
ISBN: 9781009564786
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Software Engineering
Software Engineering
Basic Principles and Best Practices
Ravi Sethi Ravi Sethi
Published: March 2023
ISBN: 9781009063388
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product
✕
Software Engineering
Software Engineering
Basic Principles and Best Practices
Ravi Sethi Ravi Sethi
Published: March 2023
ISBN: 9781316511947
Availability: 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: January 2023
ISBN: 9781009313582
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
View product View Open Access
✕
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: January 2023
ISBN: 9781009125802
Availability: 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: July 2022
ISBN: 9781009090148
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 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: July 2022
ISBN: 9781316514993
Availability: 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: 9781009190879
Availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Format: Adobe eBook Reader
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: Available
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: October 2021
ISBN: 9781108833349
Availability: Available
Format: Hardback
View product
✕
Essentials of Software Testing
Essentials of Software Testing
Ralf Bierig
(+3 others) Ralf Bierig
Stephen Brown
Edgar Galván
(+1 other)
Published: October 2021
ISBN: 9781108976480
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: December 2019
ISBN: 9781108818643
Availability: Available
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
✕
Knowledge Driven Development
Knowledge Driven Development
Bridging Waterfall and Agile Methodologies
Manoj Kumar Lal Manoj Kumar Lal
Published: November 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: November 2018
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
✕
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: July 2017
ISBN: 9781316638101
Availability: Available
Format: Paperback
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: Available
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: 9781107041097
Availability: Available
Format: Hardback
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
Per Page 1 – 12 of 84

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