Search results
Program Construction: Calculating Implementations from Specifications [first edition]
Products
Showing 12 of 26 results
Cambridge University Press
Discrete Mathematics: An Introduction for Software Engineers
$76.92
Compare Now
Springer
Compiler Construction: 10th International Conference, Cc 2001, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001, Genova
$108.35
Compare Now
Springer
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
$53.99
Compare Now
Fundamental Approaches to Software Engineering: 11th International Conference Fase 2008 Held as Part of the Joint Euro (Paperback)
$54.99
Compare Now
Springer
The Correctness-by-Construction Approach to Programming
$89.09
Compare Now
Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops: Reacts 2024 and Cifma 2024 Aveiro Portugal N Book 15551 (Paperback)
$79.99
Compare Now
Chapman And Hallcrc
Formal Methods in Computer Science
$125.99
Compare Now
Springer
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
$49.99
Compare Now
Springer
Texts in Theoretical Computer Science. a Software Engineering 2: Specification of Systems and Languages (Hardcover)
$54.38
Compare Now
Compilers: Principles, Techniques, and Tools
$220.99
Compare Now
Springer
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
$71.99
Compare Now
Springer
Software Product Line Engineering: Foundations Principles and Techniques (Hardcover)
$57.36
Compare Now
Coupons
Codes and deals for this search.
Barnes & Noble
Buy 1 Get 1 50% off select books
DealView deal
AbeBooks
Free shipping on textbooks
DealView deal
eBooks.com
Savings on Discounted Textbooks
DealView deal
eBooks.com
Give a gift certificate
DealView deal
Pearson
Pearson learning resources
DealView deal
Scholastic
$10 off orders $45+
CodeCopy code
Scholastic
20% off sitewide
CodeCopy code
VitalSource
Save up to 80% with eTextbooks
DealView deal
eFollett
Auburn University bookstore price match promise
DealView deal
Trelunaebook
10% off
CodeCopy code
RedShelf
Up to 80% off vs print books
DealView deal
RedShelf
Up to 80% off digital course materials
DealView deal
Local stores
Restaurants and shops near you that match, with card-linked cash back.
Code copied
You're all set. Just paste at checkout to save.
Continue to Having trouble? We've got tipsDeal Activated
- This deal is applied automatically
- No code needed
- Just check out like normal
Exclusions may apply.
How Cash Back Works
- 1Activate Cash Back
Click “Continue to ” to start tracking.
- 2Shop on like normal
Paste the code in the promo field at checkout, then complete your purchase in the tab.
- 3Get paid after your purchase is finalized
Cash back tracks automatically and is paid after the store approves your purchase.
Secure tracking. We never see your payment details.
Back to the code