Automatic Generation of Combinatorial Test Data (SpringerBriefs in Computer Science)

By Jian Zhang, Zhiqiang Zhang, Feifei Ma

Automatic Generation of Combinatorial Test Data (SpringerBriefs in Computer Science)

By Jian Zhang, Zhiqiang Zhang, Feifei Ma

£45.73

Computer Aided Verification

By Vizel, Yakir, Shoham, Sharon

Computer Aided Verification

By Vizel, Yakir, Shoham, Sharon

£32.97 Elsewhere ~~£34.99~~ Save £2.02 (6%)

Computer Aided Verification

By Vizel, Yakir, Shoham, Sharon

Computer Aided Verification

By Vizel, Yakir, Shoham, Sharon

£32.95 Elsewhere ~~£34.99~~ Save £2.04 (6%)

Testing of Communicating Systems (15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science))

By Dieter Hogrefe, Anthony Wiles

Testing of Communicating Systems (15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science))

By Dieter Hogrefe, Anthony Wiles

£45.01

Software Testing in the Cloud (Migration and Execution (SpringerBriefs in Computer Science))

By Scott R. Tilley, Tauhida Parveen

Software Testing in the Cloud (Migration and Execution (SpringerBriefs in Computer Science))

By Scott R. Tilley, Tauhida Parveen

£44.94

Formal Approaches to Software Testing (Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alexandre Petrenko, Andreas Ulrich

Formal Approaches to Software Testing (Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alexandre Petrenko, Andreas Ulrich

£45.04

Testing of Communicating Systems (16th Ifip International Conference, Testcom 2004, Oxford, UK, March 17-19, 2004., Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Roland Groz, Robert M. Hierons

Testing of Communicating Systems (16th Ifip International Conference, Testcom 2004, Oxford, UK, March 17-19, 2004., Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Roland Groz, Robert M. Hierons

£45.01

Applying Formal Methods - Testing, Performance, and M/E-commerce (FORTE 2004 Workshops The FormEMC, Epew, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science))

By Manuel Nunez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi

Applying Formal Methods - Testing, Performance, and M/E-commerce (FORTE 2004 Workshops The FormEMC, Epew, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science))

By Manuel Nunez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi

£45.57

Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jens Grabowski, Brian Nielsen

Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jens Grabowski, Brian Nielsen

£45.16

Testing of Communicating Systems (17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Ferhat Khendek, Rachida Dssouli

Testing of Communicating Systems (17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Ferhat Khendek, Rachida Dssouli

£45

Model-Based Testing of Reactive Systems (Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Bengt Jonsson, Jost-Pieter Katoen, Martin Leucker

Model-Based Testing of Reactive Systems (Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Bengt Jonsson, Jost-Pieter Katoen, Martin Leucker

£45.33

Testing of Communicating Systems (18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By M.Umit Uyar, Ali Y. Duale, Mariusz A. Fecko

Testing of Communicating Systems (18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By M.Umit Uyar, Ali Y. Duale, Mariusz A. Fecko

£44.99

Formal Approaches to Software Testing (5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Wolfgang Grieskamp, Carsten Weise

Formal Approaches to Software Testing (5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Wolfgang Grieskamp, Carsten Weise

£45.20

Baltic Computer Science (Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janis Barzdins, Dines Bjørner

Baltic Computer Science (Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janis Barzdins, Dines Bjørner

£89.42

Testing of Software and Communicating Systems (20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) (Computer Communication N ..)

By Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa

Testing of Software and Communicating Systems (20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) (Computer Communication N ..)

By Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa

£45.08

Model-Driven Testing (Using the UML Testing Profile)

By Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen

Model-Driven Testing (Using the UML Testing Profile)

By Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen

£54.90

Testing of Software and Communicating Systems (19th IFIP Tc 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication)

By Alexandre Petrenko, Margus Veanes, Wolfgang Grieskamp, Wolfgang Grieskamp

Testing of Software and Communicating Systems (19th IFIP Tc 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication)

By Alexandre Petrenko, Margus Veanes, Wolfgang Grieskamp, Wolfgang Grieskamp

£45.03

Tests and Proofs (First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Bertrand Meyer, Yuri Gurevich

Tests and Proofs (First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Bertrand Meyer, Yuri Gurevich

£45.02

Computer-based Diagnostic Systems (Practitioner Series)

By Chris Price

Computer-based Diagnostic Systems (Practitioner Series)

By Chris Price

£44.96

Hardware and Software (Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings (Lecture Notes in Computer Science))

By Karen Yorav

Hardware and Software (Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings (Lecture Notes in Computer Science))

By Karen Yorav

£45

Formal Methods and Testing (An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Formal Methods and Testing (An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert M. Hierons, Jonathan P. Bowen, Mark Harman

£45.02

Tests and Proofs (Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science))

By Bernhard Beckert, Reiner Hahnle

Tests and Proofs (Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science))

By Bernhard Beckert, Reiner Hahnle

£45

Tests and Proofs (Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Catherine Dubois

Tests and Proofs (Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Catherine Dubois

£44.98

Testing of Software and Communication Systems (21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer ..)

By Manuel Nunez, Paul Baker, Mercedes G. Merayo

Testing of Software and Communication Systems (21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer ..)

By Manuel Nunez, Paul Baker, Mercedes G. Merayo

£45.04

View:
Safe Search(?):