161- 171 of 171 results
Grid View Grid
List View List
Grid View Grid
List View List
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: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
QUICK ADD
Tools and Algorithms for the…
by Erika Abraham (Editor), Klaus Havelund (Editor)
#8413 in Series
Paperback $54.99
Title: Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991, Author: Tim Denvir
QUICK ADD
Formal Aspects of Measurement:…
by Tim Denvir (Editor), Rosalind Herman (Editor), Robin Whitty (Editor)
Explore Series
Paperback $54.99
Title: Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, Author: Miroslaw Malek
QUICK ADD
Service Availability: Second…
by Miroslaw Malek (Editor), Edgar Nett (Editor), Neeraj Suri (Editor)
#3694 in Series
Paperback $54.99
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 Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings, Author: Ita Richardson
QUICK ADD
Software Process Improvement:…
by Ita Richardson (Editor), Pekka Abrahamsson (Editor), Richard Messnarz (Editor)
#3792 in Series
Paperback $54.99
Title: Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, Author: Dave Penkler
QUICK ADD
Service Availability: Third…
by Dave Penkler (Editor), Manfred Reitenspiess (Editor), Francis Tam (Editor)
#4328 in Series
Paperback $54.99
Title: System Software Reliability, Author: Hoang Pham
QUICK ADD
System Software Reliability
by Hoang Pham
Explore Series
Paperback $109.99
Title: SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings, Author: Klaus Havelund
QUICK ADD
SPIN Model Checking and…
by Klaus Havelund (Editor), John Penix (Editor), Willem Visser (Editor)
#1885 in Series
Paperback $54.99
Title: System Reliability and Security: Techniques and Methodologies, Author: Javaid Iqbal
QUICK ADD
System Reliability and…
by Javaid Iqbal (Editor), Faheem Syeed Masoodi (Editor), Ishfaq Ahmad Malik (Editor), Shozab Khurshid (Editor), Iqra Saraf (Editor)
Paperback $82.99
Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
QUICK ADD
Model-Based Software Testing…
by Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Paperback $51.00

Pagination Links