21- 40 of 253 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
QUICK ADD
Aspects of Safety Management:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link�ping, Sweden, May 3-5, 1993. Proceedings, Author: Peter A. Fritzson
QUICK ADD
Automated and Algorithmic…
by Peter A. Fritzson (Editor)
#749 in Series
Paperback $54.99
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier (Editor)
#1393 in Series
Paperback $54.99
Title: Beautiful Software, Author: Chuck Connell
QUICK ADD
Beautiful Software
by Chuck Connell
Paperback $9.99
Title: Beautiful Testing: Leading Professionals Reveal How They Improve Software, Author: Tim Riley
QUICK ADD
Beautiful Testing: Leading…
by Tim Riley (Editor), Adam Goucher (Editor)
Explore Series
Paperback $49.99
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
QUICK ADD
Black-Box Testing: Techniques…
by Boris Beizer
Paperback $50.00
Title: Building a Debugger: Write a Native x64 Debugger From Scratch, Author: Sy Brand
QUICK ADD
Building a Debugger: Write a…
by Sy Brand
Paperback $69.99
Title: Building Maintainable Software, C# Edition: Ten Guidelines for Future-Proof Code, Author: Joost Visser
QUICK ADD
Building Maintainable Software…
by Joost Visser, Sylvan Rigal, Gijs Wijnholds, Pascal van Eck, Rob van der Leek
Paperback $24.99
Title: Clean Architecture: A Craftsman's Guide to Software Structure and Design, Author: Robert Martin
QUICK ADD
Clean Architecture: A…
by Robert Martin
Explore Series
Paperback $66.49
Title: Clean Code Cookbook: Recipes to Improve the Design and Quality of your Code, Author: Maximiliano Contieri
QUICK ADD
Clean Code Cookbook: Recipes…
by Maximiliano Contieri
Paperback $65.99
Title: Clean Code: A Handbook of Agile Software Craftsmanship, Author: Robert Martin
QUICK ADD
Clean Code: A Handbook of…
by Robert Martin
Explore Series
Paperback $79.79
Title: Clean Code: A Handbook of Agile Software Craftsmanship, Author: Robert Martin
QUICK ADD
Clean Code: A Handbook of…
by Robert Martin
Explore Series
Paperback $79.79
Title: Collaborative Software Design: How to facilitate domain modeling decisions, Author: Evelyn van Kelle
QUICK ADD
Collaborative Software Design:…
by Evelyn van Kelle, Gien Verschatse, Kenny Baas-Schwegler
Paperback $49.99
Title: Compiler Specification and Verification, Author: W. Polak
QUICK ADD
Compiler Specification and…
by W. Polak
#124 in Series
Paperback $39.99
Title: Component-Based Software Testing with UML, Author: Hans-Gerhard Gross
QUICK ADD
Component-Based Software…
by Hans-Gerhard Gross
Paperback $54.99
Title: Components of System Safety: Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, Author: Felix Redmill
QUICK ADD
Components of System Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu (Editor), Moshe Y. Vardi (Editor)
#1427 in Series
Paperback $109.99
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
QUICK ADD
Computer Aided Verification:…
by Warren A. Hunt, Jr. (Editor), Fabio Somenzi (Editor)
#2725 in Series
Paperback $54.99
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, Author: Rajeev Alur
QUICK ADD
Computer Aided Verification:…
by Rajeev Alur (Editor), Doron A. Peled (Editor)
#3114 in Series
Paperback $109.99
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball (Editor), Robert B. Jones (Editor)
#4144 in Series
Paperback $109.99

Pagination Links