41- 60 of 346 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / Edition 1, Author: Keith Hardy
QUICK ADD
Reliable Software Technologies…
by Keith Hardy, Jim Briggs
#1251 in Series
Paperback $54.99
Title: Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997, Author: Felix Redmill
QUICK ADD
Safer Systems: Proceedings of…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
QUICK ADD
Modular Compiler Verification:…
by Markus Mïller-Olm
#1283 in Series
Paperback $54.99
Title: Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security, Author: Peter Daniel
QUICK ADD
Safe Comp 97: The 16th…
by Peter Daniel (Editor)
Paperback $109.99
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination / Edition 1, Author: Khaled El Emam
QUICK ADD
SPICE: The Theory and Practice…
by Khaled El Emam, Jean-Normand Drouin, Walcélio Melo, Alec Dorling
#7 in Series
Hardcover $149.95
Title: Software Metrics: A Rigorous and Practical Approach / Edition 2, Author: Norman E. Fenton
QUICK ADD
Software Metrics: A Rigorous…
by Norman E. Fenton, Shari Lawrence Pfleeger
Explore Series
Paperback $124.95
Title: Advanced Techniques for Embedded Systems Design and Test / Edition 1, Author: Juan C. Lïpez
QUICK ADD
Advanced Techniques for…
by Juan C. Lïpez, Romïn Hermida, Walter Geisselhardt
Hardcover $169.99
Title: Debugging Embedded Microprocessor Systems, Author: Stuart Ball
QUICK ADD
Debugging Embedded…
by Stuart Ball
Paperback $73.95
Title: Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998, Author: Felix Redmill
QUICK ADD
Industrial Perspectives of…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $109.99
Title: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis / Edition 1, Author: William J. Brown
QUICK ADD
AntiPatterns: Refactoring…
by William J. Brown, Raphael C. Malveau, Hays W. "Skip" McCormick, Thomas J. Mowbray
Paperback $68.00
Title: Debugging Embedded Microprocessor Systems, Author: Stuart Ball
QUICK ADD
Debugging Embedded…
by Stuart Ball
eBook $70.95
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 / Edition 1, Author: Bert Didier
QUICK ADD
B'98: Recent Advances in the…
by Bert Didier
#1393 in Series
Paperback $54.99
Title: Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Edition 1, Author: Lars Asplund
QUICK ADD
Reliable Software Technologies…
by Lars Asplund
#1411 in Series
Paperback $54.99
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
QUICK ADD
Computer Aided Verification:…
by Alan J. Hu, Moshe Y. Vardi
#1427 in Series
Paperback $109.99
Title: Software Quality Management VI: Quality Improvement Issues, Author: Chris Hawkins
QUICK ADD
Software Quality Management VI…
by Chris Hawkins (Editor), Margaret Ross (Editor), Geoff Staples (Editor)
Paperback $109.99
Title: Software Defect and Operational Profile Modeling / Edition 1, Author: Kai-Yuan Cai
QUICK ADD
Software Defect and…
by Kai-Yuan Cai
#4 in Series
Hardcover $219.99
Title: Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings, Author: Frank van der Linden
QUICK ADD
Development and Evolution of…
by Frank van der Linden (Editor)
#1429 in Series
Paperback $54.99
Title: Communication Protocol Specification and Verification / Edition 1, Author: Richard Lai
QUICK ADD
Communication Protocol…
by Richard Lai, Ajin Jirachiefpattana
#464 in Series
Hardcover $219.99
Title: Testing Object-Oriented Software / Edition 1, Author: David C. Kung
QUICK ADD
Testing Object-Oriented…
by David C. Kung, Pei Hsia, Jerry Gao
#32 in Series
Paperback $110.95
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
QUICK ADD
Data Refinement:…
by Willem-Paul de Roever, Kai Engelhardt
#47 in Series
Hardcover $160.00

Pagination Links