221- 240 of 254 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glück (Editor), Peter Thiemann (Editor)
#1110 in Series
Paperback $54.99
Title: Software Change Impact Analysis, Author: Robert Arnold
QUICK ADD
Software Change Impact…
by Robert Arnold, Shawn Bohner
#49 in Series
Paperback $101.95
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: 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: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, Author: Susanne Graf
QUICK ADD
Model Checking Software: 11th…
by Susanne Graf (Editor), Laurent Mounier (Editor)
#2989 in Series
Paperback $54.99
Title: Memory Dump Analysis Anthology, Volume 8b, Author: Dmitry Vostokov
QUICK ADD
Memory Dump Analysis Anthology…
by Dmitry Vostokov, Software Diagnostics Institute
Explore Series
Paperback $45.00
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: Test Examples for Nonlinear Programming Codes, Author: W. Hock
QUICK ADD
Test Examples for Nonlinear…
by W. Hock, Klaus Schittkowski
#187 in Series
Paperback $54.99
Title: Quarkus in Action, Author: Martin Stefanko
QUICK ADD
Quarkus in Action
by Martin Stefanko, Jan Martiska
Explore Series
Paperback $59.99
Title: Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, Author: Jean-Pierre Rosen
QUICK ADD
Reliable Software Technologies…
by Jean-Pierre Rosen (Editor), Alfred Strohmeier (Editor)
#2655 in Series
Paperback $54.99
Title: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
QUICK ADD
Theory and Applications of…
by Matti Jarvisalo (Editor), Allen Van Gelder (Editor)
#7962 in Series
Paperback $54.99
Title: How Software is Built, Author: Gerald M Weinberg
QUICK ADD
How Software is Built
by Gerald M Weinberg
#1 in Series
Paperback $19.99
Title: Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers, Author: Robert M. Hierons
QUICK ADD
Formal Methods and Testing: An…
by Robert M. Hierons (Editor), Jonathan P. Bowen (Editor), Mark Harman (Editor)
#4949 in Series
Paperback $54.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: Applying Software Metrics, Author: Paul Oman
QUICK ADD
Applying Software Metrics
by Paul Oman, Shari Lawrence Pfleeger
#46 in Series
Paperback $101.95
Title: Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 31, 1995. Proceedings, Author: Paolo Nesi
QUICK ADD
Objective Software Quality:…
by Paolo Nesi (Editor)
#926 in Series
Paperback $54.99
Title: Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings, Author: Bernhard Beckert
QUICK ADD
Tests and Proofs: Second…
by Bernhard Beckert (Editor), Reiner Hähnle (Editor)
#4966 in Series
Paperback $54.99
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
QUICK ADD
Verification and Validation of…
by William J. Quirk (Editor)
Paperback $54.99
Title: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, Author: Pete Sawyer
QUICK ADD
Requirements Engineering:…
by Pete Sawyer (Editor), Barbara Paech (Editor), Patrick Heymans (Editor)
#4542 in Series
Paperback $54.99
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

Pagination Links