£44.91

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.03

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.15

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.32

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

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

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.02

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

£44.99

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.01

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.03

Hardware and Software (Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers (Lecture Notes in Computer Science))

By Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

Hardware and Software (Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers (Lecture Notes in Computer Science))

By Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

£48.17

Tests and Proofs (6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science))

By Achim Brucker, Jacques Julliand

Tests and Proofs (6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science))

By Achim Brucker, Jacques Julliand

£44.99

Testing Software and Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Mercedes G. Merayo, Edgardo Montes de Oca

Testing Software and Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Mercedes G. Merayo, Edgardo Montes de Oca

£46.41

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

£45.54

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Rocco De Nicola, Davide Sangiorgi

£44.99

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (25th International Conference, Hyderabad, India, December 15-18, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By R. Ramanujam, Sandeep Sen

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (25th International Conference, Hyderabad, India, December 15-18, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By R. Ramanujam, Sandeep Sen

£89.36

Hardware and Software, Verification and Testing (First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shmuel Ur, Eyal Bin, Yaron Wolfsthal

Hardware and Software, Verification and Testing (First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shmuel Ur, Eyal Bin, Yaron Wolfsthal

£45.21

Model Checking Software (13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Antti Valmari

Model Checking Software (13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Antti Valmari

£45.31

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

£44.95

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

CONCUR 2006 - Concurrency Theory (17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Christel Baier, Holger Hermanns

£88.73

Mathematical Foundations of Computer Science 2002 (27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : Proceedings (Lecture Notes in Computer Science))

By Krzystof Diks, Wojciech Rytter

Mathematical Foundations of Computer Science 2002 (27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : Proceedings (Lecture Notes in Computer Science))

By Krzystof Diks, Wojciech Rytter

£88.78

FSTTCS 2006 (Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings (Lecture Notes in Computer Science))

By S. Arun-Kumar, Naveen Garg

FSTTCS 2006 (Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings (Lecture Notes in Computer Science))

By S. Arun-Kumar, Naveen Garg

£45.06

Theoretical Aspects of Computer Software (International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Takayasu Ito, Albert R. Meyer

Theoretical Aspects of Computer Software (International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Takayasu Ito, Albert R. Meyer

£88.96

Constraint Processing (Selected Papers (Lecture Notes in Computer Science))

By Manfred Meyer

Constraint Processing (Selected Papers (Lecture Notes in Computer Science))

By Manfred Meyer

£44.99

View:
Safe Search(?):