1- 20 of 252 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
QUICK ADD
Embedded Processor-Based…
by Dimitris Gizopoulos, A. Paschalis, Yervant Zorian
#28 in Series
Paperback $169.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: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004, Author: Felix Redmill
QUICK ADD
Practical Elements of Safety:…
by Felix Redmill (Editor), Tom Anderson (Editor)
Paperback $169.99
Title: Reliability, Quality and Safety of Software-Intensive Systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece, Author: Dimitris Gritzalis
QUICK ADD
Reliability, Quality and…
by Dimitris Gritzalis
Explore Series
Paperback $169.99
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
QUICK ADD
Advanced Techniques for…
by Juan C. López (Editor), Román Hermida (Editor), Walter Geisselhardt (Editor)
Paperback $169.99
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
QUICK ADD
Computer-Aided Verification: A…
by Robert Kurshan (Editor)
Paperback $169.99
Title: Software Testing: ., Author: S. Koirala
QUICK ADD
Software Testing: .
by S. Koirala, S. Sheikh
Explore Series
Paperback $163.95
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie (Translator), M. Bidoit, A. Finkel, F. Laroussinie
Paperback $159.99
Title: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors, Author: Debra S. Herrmann
QUICK ADD
Software Safety and…
by Debra S. Herrmann
#26 in Series
Paperback $139.95
Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication, Author: Jasveer Singh
QUICK ADD
Functional Software Size…
by Jasveer Singh
Paperback $134.95
Title: Testing Object-Oriented Software, Author: David C. Kung
QUICK ADD
Testing Object-Oriented…
by David C. Kung, Pei Hsia, Jerry Gao
#32 in Series
Paperback $110.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: Intelligent Crowdsourced Testing, Author: Qing Wang
QUICK ADD
Intelligent Crowdsourced…
by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng
Paperback $109.99
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Author: Nachum Dershowitz
QUICK ADD
Verification: Theory and…
by Nachum Dershowitz (Editor)
#2772 in Series
Paperback $109.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: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools, Author: D.J. Smith
QUICK ADD
Engineering Quality Software:…
by D.J. Smith, K.B. Wood
Paperback $109.99
Title: Definitions for Hardware and Software Safety Engineers, Author: M.J.P. van der Meulen
QUICK ADD
Definitions for Hardware and…
by M.J.P. van der Meulen
Paperback $109.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: 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

Pagination Links