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

By Tiziana Margaria, Bernhard Steffen

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

By Tiziana Margaria, Bernhard Steffen

£46.31

Product-Focused Software Process Improvement (19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings (Lecture Notes in Computer Science))

By Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki

Product-Focused Software Process Improvement (19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings (Lecture Notes in Computer Science))

By Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki

£51.82

Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))

By Christian Colombo, Martin Leucker

Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))

By Christian Colombo, Martin Leucker

£65.94

Practical Aspects of Declarative Languages (21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By José Júlio Alferes, Moa Johansson

Practical Aspects of Declarative Languages (21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By José Júlio Alferes, Moa Johansson

£46.25

Functional and Constraint Logic Programming (26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Josep Silva

Functional and Constraint Logic Programming (26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Josep Silva

£46.18

Integration of Constraint Programming, Artificial Intelligence, and Operations Research (16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and ..)

By Louis-Martin Rousseau, Kostas Stergiou

Integration of Constraint Programming, Artificial Intelligence, and Operations Research (16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and ..)

By Louis-Martin Rousseau, Kostas Stergiou

£46.52

NASA Formal Methods (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Julia M. Badger, Kristin Yvonne Rozier

NASA Formal Methods (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Julia M. Badger, Kristin Yvonne Rozier

£61.43

Formal Methods for Industrial Critical Systems (24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Kim Guldstrand Larsen, Tim Willemse

Formal Methods for Industrial Critical Systems (24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Kim Guldstrand Larsen, Tim Willemse

£46.17

Search-Based Software Engineering (11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shiva Nejati, Gregory Gay

Search-Based Software Engineering (11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Shiva Nejati, Gregory Gay

£46.18

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 (11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

£46.25

Automated Technology for Verification and Analysis (17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza

Automated Technology for Verification and Analysis (17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza

£46.29

Runtime Verification (19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bernd Finkbeiner, Leonardo Mariani

Runtime Verification (19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bernd Finkbeiner, Leonardo Mariani

£56.37

Static Analysis (26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bor-Yuh Evan Chang

Static Analysis (26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Bor-Yuh Evan Chang

£46.28

Product-Focused Software Process Improvement (20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández

Product-Focused Software Process Improvement (20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández

£46.74

Declarative Programming and Knowledge Management (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in A ..)

By Petra Hofstedt, Salvador Abreu, Ulrich John

Declarative Programming and Knowledge Management (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in A ..)

By Petra Hofstedt, Salvador Abreu, Ulrich John

£46.19

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

£89.57

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

Foundational Java (Key Elements and Practical Programming (Texts in Computer Science))

By Parsons, David

£51.44

Trends in Functional Programming (21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Aleksander Byrski, John Hughes

Trends in Functional Programming (21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Aleksander Byrski, John Hughes

£54.43

Runtime Verification (20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jyotirmoy Deshmukh, Dejan Ničković

Runtime Verification (20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jyotirmoy Deshmukh, Dejan Ničković

£46.29

Tools and Methods of Program Analysis (6th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers (Communications in Computer and Information Science))

By Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy

Tools and Methods of Program Analysis (6th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers (Communications in Computer and Information Science))

By Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy

£46.19

Formal Methods for Industrial Critical Systems (26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Alberto Lluch Lafuente, Anastasia Mavridou

Formal Methods for Industrial Critical Systems (26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Alberto Lluch Lafuente, Anastasia Mavridou

£46.21

Programming Languages and Systems (19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hakjoo Oh

Programming Languages and Systems (19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hakjoo Oh

£65.87

Programming Languages and Systems (20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science))

By Ilya Sergey

Programming Languages and Systems (20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science))

By Ilya Sergey

£51.26 Elsewhere ~~£54.99~~ Save £3.73 (7%)

Static Analysis (29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings (Lecture Notes in Computer Science))

By Gagandeep Singh, Caterina Urban

Static Analysis (29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings (Lecture Notes in Computer Science))

By Gagandeep Singh, Caterina Urban

£61.47

View:
Safe Search(?):