1- 20 of 263 results
Grid View Grid
List View List
Grid View Grid
List View List
Viewing availability for Buy Online, Pick up in Store at  B&N Dedham Change My Store
Pick up in Store  B&N Dedham Change My Store
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 / Edition 1, Author: Felix Redmill
QUICK ADD
Practical Elements of Safety:…
by Felix Redmill, Tom Anderson
Paperback $169.99

Available Online

In Stock at My Store

Store Pickup Available

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

Available Online

Not in Stock at My Store

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

Available Online

Not in Stock at My Store

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
Paperback $169.99

Available Online

Not in Stock at My Store

Title: Mutation Testing for the New Century / Edition 1, Author: W. Eric Wong
QUICK ADD
Mutation Testing for the New…
by W. Eric Wong
#24 in Series
Paperback $169.99

Available Online

Not in Stock at My Store

Title: Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 / Edition 1, Author: Felix Redmill
QUICK ADD
Constituents of Modern…
by Felix Redmill, Tom Anderson
Paperback $169.99

Available Online

Not in Stock at My Store

Title: Embedded Processor-Based Self-Test / Edition 1, Author: Dimitris Gizopoulos
QUICK ADD
Embedded Processor-Based…
by Dimitris Gizopoulos, A. Paschalis, Yervant Zorian
#28 in Series
Paperback $169.99

Available Online

Not in Stock at My Store

Title: Software Testing: Interview Questions, Author: S. Koirala
QUICK ADD
Software Testing: Interview…
by S. Koirala, S. Sheikh
Explore Series
Paperback $163.95

Available Online

Not in Stock at My Store

Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
QUICK ADD
Systems and Software…
by B. Berard, P. McKenzie, M. Bidoit, A. Finkel, F. Laroussinie
Paperback $159.99

Available Online

Not in Stock at My Store

Title: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors / Edition 1, Author: Debra S. Herrmann
QUICK ADD
Software Safety and…
by Debra S. Herrmann
#26 in Series
Paperback $139.95

Available Online

Not in Stock at My Store

Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication / Edition 1, Author: Jasveer Singh
QUICK ADD
Functional Software Size…
by Jasveer Singh
Paperback $134.95

Available Online

In Stock at My Store

Store Pickup Available

Title: Managing Software Quality and Business Risk / Edition 1, Author: Martyn A. Ould
QUICK ADD
Managing Software Quality and…
by Martyn A. Ould
Explore Series
Paperback $133.75

Available Online

Not in Stock at My Store

Title: Software Quality Assurance: In Large Scale and Complex Software-intensive Systems, Author: Ivan Mistrik
QUICK ADD
Software Quality Assurance: In…
by Ivan Mistrik, Richard M Soley, Nour Ali, John Grundy, Bedir Tekinerdogan PhD
Paperback $120.00

Available Online

Not in Stock at My Store

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

Available Online

Not in Stock at My Store

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

Available Online

Not in Stock at My Store

Title: Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 / Edition 1, Author: Felix Redmill
QUICK ADD
Developments in Risk-based…
by Felix Redmill, Safety-Critical Systems Club, Tom Anderson
Paperback $109.99

Available Online

Not in Stock at My Store

Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / Edition 1, Author: Thomas Ball
QUICK ADD
Computer Aided Verification:…
by Thomas Ball, Robert B. Jones
#4144 in Series
Paperback $109.99

Available Online

Not in Stock at My Store

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

Available Online

Not in Stock at My Store

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

Available Online

Not in Stock at My Store

Title: Life Cycle Management For Dependability, Author: Felix Redmill
QUICK ADD
Life Cycle Management For…
by Felix Redmill (Editor), T. Anderson (Preface by), Chris Dale (Editor)
Paperback $109.99

Available Online

Not in Stock at My Store

Pagination Links