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

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

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

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

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

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

£52.27

Hardware and Software, Verification and Testing (Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Eyal Bin, Avi Ziv, Shmuel Ur

Hardware and Software, Verification and Testing (Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Eyal Bin, Avi Ziv, Shmuel Ur

£45.16

Model Checking Software (15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Klaus Havelund, Rupak Majumdar, Jens Palsberg

Model Checking Software (15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Klaus Havelund, Rupak Majumdar, Jens Palsberg

£51.42

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

£45.07

Theoretical Aspects of Computing – ICTAC 2014 (11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriel Ciobanu, Dominique Méry

Theoretical Aspects of Computing – ICTAC 2014 (11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Gabriel Ciobanu, Dominique Méry

£47.73

Hardware and Software (Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hana Chockler, Alan J. Hu

Hardware and Software (Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hana Chockler, Alan J. Hu

£45.02

Fundamentals of Computation Theory (17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Miroslaw Kutylowski, Maciej Gebala, Witold Charatonik

Fundamentals of Computation Theory (17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Miroslaw Kutylowski, Maciej Gebala, Witold Charatonik

£45.06

Teaching Formal Methods (Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jeremy Gibbons, Jose Oliveira

Teaching Formal Methods (Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jeremy Gibbons, Jose Oliveira

£44.99

Functional and Logic Programming (10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola

Functional and Logic Programming (10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola

£50.60

Certified Programs and Proofs (Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Chris Hawblitzel, Dale Miller

Certified Programs and Proofs (Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Chris Hawblitzel, Dale Miller

£45.02

Hardware and Software (Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Lecture Notes in Computer Science/Programming and Software Engineering))

By Armin Biere, Amir Nahir, Tanja Vos

Hardware and Software (Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Lecture Notes in Computer Science/Programming and Software Engineering))

By Armin Biere, Amir Nahir, Tanja Vos

£40.07

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

£48.55

3

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

£48.08

Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Rival

Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Rival

£45.11

Fundamental Approaches to Software Engineering (20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Theoretical Computer)

By Marieke Huisman, Julia Rubin

Fundamental Approaches to Software Engineering (20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Theoretical Computer)

By Marieke Huisman, Julia Rubin

£47.55

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)

By Tiziana Margaria, Bernhard Steffen

£45.12

View:
Safe Search(?):