101- 120 of 173 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model-Based Testing of Reactive Systems: Advanced Lectures, Author: Manfred Broy
QUICK ADD
Model-Based Testing of…
by Manfred Broy (Editor), Bengt Jonsson (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor), Alexander Pretschner (Editor)
#3472 in Series
Paperback $54.99
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, Author: Tullio Vardanega
QUICK ADD
Reliable Software Technology -…
by Tullio Vardanega (Editor), Andy Wellings (Editor)
#3555 in Series
Paperback $54.99
Title: Fit for Developing Software: Framework for Integrated Tests, Author: Rick Mugridge
QUICK ADD
Fit for Developing Software:…
by Rick Mugridge, Ward Cunningham
Explore Series
Paperback $86.44
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: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: First…
by Miroslaw Malek (Editor), Manfred Reitenspieß (Editor), Jörg Kaiser (Editor)
#3335 in Series
Paperback $54.99
Title: Hardening Linux, Author: James Turnbull
QUICK ADD
Hardening Linux
by James Turnbull
Explore Series
Paperback $79.99
Title: Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings, Author: Maritta Heisel
QUICK ADD
Computer Safety, Reliability,…
by Maritta Heisel (Editor), Peter Liggesmeyer (Editor), Stefan Wittmann (Editor)
#3219 in Series
Paperback $54.99
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings, Author: T. Dingsïyr
QUICK ADD
Software Process Improvement:…
by T. Dingsïyr (Editor)
#3281 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: Reliable Software Technologies - Ada-Europe 2004: 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, Author: Albert Llamosi
QUICK ADD
Reliable Software Technologies…
by Albert Llamosi (Editor), Alfred Strohmeier (Editor)
#3063 in Series
Paperback $54.99
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: Renï Alt
QUICK ADD
Numerical Software with Result…
by Renï Alt (Editor), Andreas Frommer (Editor), R. Baker Kearfott (Editor), Wolfram Luther (Editor)
#2991 in Series
Paperback $54.99
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: 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: 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: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson
QUICK ADD
Computer Safety, Reliability,…
by Stuart Anderson (Editor), Massimo Felici (Editor), Bev Littlewood (Editor)
#2788 in Series
Paperback $54.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: 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: Software Maintenance: Concepts And Practice (Second Edition), Author: Penny Grubb
QUICK ADD
Software Maintenance: Concepts…
by Penny Grubb, Armstrong A Takang
Paperback $77.00
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
QUICK ADD
Model Checking Software: 10th…
by Thomas Ball (Editor), Sriram K. Rajamani (Editor)
#2648 in Series
Paperback $54.99
Title: Test Driven Development: By Example, Author: Kent Beck
QUICK ADD
Test Driven Development: By…
by Kent Beck
Explore Series
Paperback $66.49

Pagination Links