Showing 72 - 96 (of 214)
Refine
Automate Testing for Power Apps : A practical guide to applying low-code automation testing tools and techniques - eBook

Automate Testing for Power Apps : A practical guide to applying low-code automation testing tools and techniques

Cesar Calvo

Download Now

Format: eBook (EPUB)

£23.99

£19.19

Download Now

eBook (EPUB)

Add to Basket
Concise Guide to Software Verification : From Model Checking to Annotation Checking - eBook

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Marieke Huisman

Download Now

Format: eBook (EPUB)

£69.99

£59.49

Download Now

eBook (EPUB)

Add to Basket
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings - eBook

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
CyberSecurity in a DevOps Environment : From Requirements to Monitoring - eBook

CyberSecurity in a DevOps Environment : From Requirements to Monitoring

Andrey Sadovykh

Download Now

Format: eBook (EPUB)

£159.50

£135.58

Download Now

eBook (EPUB)

Add to Basket
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - eBook

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Bertrand Meyer

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Unfoldings : A Partial-Order Approach to Model Checking - eBook

Unfoldings : A Partial-Order Approach to Model Checking

Javier Esparza

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers - eBook

Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - eBook

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Barbara Jobstmann

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - eBook

Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Corina S Pasareanu

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Model-Based Software Performance Analysis - eBook

Model-Based Software Performance Analysis

Vittorio Cortellessa

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models - eBook

Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models

Mourad Debbabi

Download Now

Format: eBook (PDF)

£99.50

£84.58

Download Now

eBook (PDF)

Add to Basket
Introduction to Reliable and Secure Distributed Programming - eBook

Introduction to Reliable and Secure Distributed Programming

Christian Cachin

Download Now

Format: eBook (PDF)

£54.99

£46.74

Download Now

eBook (PDF)

Add to Basket
Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - eBook

Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - eBook

Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Sharon Barner

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Improving Software Testing : Technical and Organizational Developments - eBook

Improving Software Testing : Technical and Organizational Developments

Tim A. Majchrzak

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - eBook

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Madhusudan Parthasarathy

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings - eBook

Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Alastair Donaldson

Download Now

Format: eBook (PDF)

£41.99

£35.69

Download Now

eBook (PDF)

Add to Basket
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers - eBook

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Bernhard Beckert

Download Now

Format: eBook (PDF)

£39.99

£33.99

Download Now

eBook (PDF)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - eBook

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Roberto Giacobazzi

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Debugging Systems-on-Chip : Communication-centric and Abstraction-based Techniques - eBook

Debugging Systems-on-Chip : Communication-centric and Abstraction-based Techniques

Bart Vermeulen

Download Now

Format: eBook (PDF)

£89.50

£76.08

Download Now

eBook (PDF)

Add to Basket
Computer Performance Engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings - eBook

Computer Performance Engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

Marta Beltran

Download Now

Format: eBook (PDF)

£39.99

£33.99

Download Now

eBook (PDF)

Add to Basket
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings - eBook

Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Franz Wotawa

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Quality Software Through Reuse and Integration - eBook

Quality Software Through Reuse and Integration

Stuart H. Rubin

Download Now

Format: eBook (EPUB)

£129.50

£110.08

Download Now

eBook (EPUB)

Add to Basket
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings - eBook

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Alessandro Abate

Download Now

Format: eBook (EPUB)

£44.99

£38.24

Download Now

eBook (EPUB)

Add to Basket
Showing 72 - 96 (of 214)
Refine