10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Book Series: Programming and Software Engineering

Book Cover for OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments by Manjunath Gorentla Venkata

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Manjunath Gorentla Venkata

Paperback

Not Available

Book Cover for Formal Methods and Software Engineering by Kazuhiro Ogata

Formal Methods and Software Engineering

Kazuhiro Ogata

Paperback

In Stock

£53.99 £59.99

Book Cover for Programming Languages and Systems by Atsushi Igarashi

Programming Languages and Systems

Atsushi Igarashi

Paperback

Not Available

Book Cover for Theory and Models for Cyber Situation Awareness by Peng Liu

Theory and Models for Cyber Situation Awareness

Peng Liu

Paperback

Not Available

Book Cover for Formal Methods: Foundations and Applications by Leila Ribeiro

Formal Methods: Foundations and Applications

Leila Ribeiro

Paperback

Not Available

Book Cover for Practical Aspects of Declarative Languages by Yuliya Lierler

Practical Aspects of Declarative Languages

Yuliya Lierler

Paperback

Not Available

Book Cover for Concurrency, Security, and Puzzles by Thomas Gibson-Robinson

Concurrency, Security, and Puzzles

Thomas Gibson-Robinson

Paperback

Not Available

Book Cover for Mastering Scale and Complexity in Software Reuse by Goetz Botterweck

Mastering Scale and Complexity in Software Reuse

Goetz Botterweck

Paperback

Not Available

Book Cover for Risk Assessment and Risk-Driven Quality Assurance by Jürgen Großmann

Risk Assessment and Risk-Driven Quality Assurance

Jürgen Großmann

Paperback

Not Available

Book Cover for Reversible Computation by Iain Phillips

Reversible Computation

Iain Phillips

Paperback

Not Available

Book Cover for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Com by Ahmed Bouajjani

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Com

Ahmed Bouajjani

Paperback

Not Available

Book Cover for Rules and Reasoning by Stefania Costantini

Rules and Reasoning

Stefania Costantini

Paperback

Not Available

Book Cover for Tests and Proofs by Sebastian Gabmeyer

Tests and Proofs

Sebastian Gabmeyer

Paperback

Not Available

Book Cover for Modelling Foundations and Applications by Anthony Anjorin

Modelling Foundations and Applications

Anthony Anjorin

Paperback

Not Available

Book Cover for Analytical and Stochastic Modelling Techniques and Applications by Nigel Thomas

Analytical and Stochastic Modelling Techniques and Applications

Nigel Thomas

Paperback

Not Available

Book Cover for Static Analysis by Francesco Ranzato

Static Analysis

Francesco Ranzato

Paperback

Not Available

Book Cover for Model-Based Safety and Assessment by Marco Bozzano

Model-Based Safety and Assessment

Marco Bozzano

Paperback

Not Available

Book Cover for Search Based Software Engineering by Tim Menzies

Search Based Software Engineering

Tim Menzies

Paperback

Not Available

Book Cover for Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verificatio by Laure Petrucci

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verificatio

Laure Petrucci

Paperback

Not Available

Book Cover for Software Engineering for Resilient Systems by Alexander Romanovsky

Software Engineering for Resilient Systems

Alexander Romanovsky

Paperback

Not Available

Book Cover for Automated Technology for Verification and Analysis by Deepak D'Souza

Automated Technology for Verification and Analysis

Deepak D'Souza

Paperback

Not Available

Book Cover for Formal Aspects of Component Software by José Proença

Formal Aspects of Component Software

José Proença

Paperback

Not Available

Book Cover for Testing Software and Systems by Nina Yevtushenko

Testing Software and Systems

Nina Yevtushenko

Paperback

Not Available

Book Cover for Runtime Verification by Shuvendu Lahiri

Runtime Verification

Shuvendu Lahiri

Paperback

Not Available

Book Cover for SDL 2017: Model-Driven Engineering for Future Internet by Tibor Csöndes

SDL 2017: Model-Driven Engineering for Future Internet

Tibor Csöndes

Paperback

Not Available

Book Cover for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedi by Alessandro Fantechi

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedi

Alessandro Fantechi

Paperback

Not Available

Book Cover for Dependable Software Engineering. Theories, Tools, and Applications by Kim Guldstrand Larsen

Dependable Software Engineering. Theories, Tools, and Applications

Kim Guldstrand Larsen

Paperback

Not Available

Book Cover for Formal Methods and Software Engineering by Zhenhua Duan

Formal Methods and Software Engineering

Zhenhua Duan

Paperback

Not Available

Book Cover for Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments by Issa Traore

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

Issa Traore

Paperback

Not Available

Book Cover for Formal Methods: Foundations and Applications by Simone Cavalheiro

Formal Methods: Foundations and Applications

Simone Cavalheiro

Paperback

Not Available

Book Cover for OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence by Manjunath Gorentla Venkata

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

Manjunath Gorentla Venkata

Paperback

Not Available

Book Cover for Measurement, Modelling and Evaluation of Computing Systems by Dr. Reinhard German

Measurement, Modelling and Evaluation of Computing Systems

Dr. Reinhard German

Paperback

Not Available

Book Cover for New Opportunities for Software Reuse by Rafael Capilla

New Opportunities for Software Reuse

Rafael Capilla

Paperback

Not Available

Book Cover for Performance Evaluation and Benchmarking for the Era of Artificial Intelligence by Raghunath Nambiar

Performance Evaluation and Benchmarking for the Era of Artificial Intelligence

Raghunath Nambiar

Paperback

Not Available

Book Cover for Requirements Engineering: Foundation for Software Quality by Eric Knauss

Requirements Engineering: Foundation for Software Quality

Eric Knauss

Paperback

Not Available

Book Cover for NASA Formal Methods by Julia M. Badger

NASA Formal Methods

Julia M. Badger

Paperback

Not Available

Book Cover for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by Simon Collart-Dutilleul

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Simon Collart-Dutilleul

Paperback

Not Available

Book Cover for Reversible Computation by Michael Kirkedal Thomsen

Reversible Computation

Michael Kirkedal Thomsen

Paperback

Not Available

Book Cover for Search-Based Software Engineering by Shiva Nejati

Search-Based Software Engineering

Shiva Nejati

Paperback

Not Available

Book Cover for Computer Safety, Reliability, and Security by Alexander Romanovsky

Computer Safety, Reliability, and Security

Alexander Romanovsky

Paperback

Not Available

Book Cover for Runtime Verification by Bernd Finkbeiner

Runtime Verification

Bernd Finkbeiner

Paperback

Not Available

Book Cover for Automated Technology for Verification and Analysis by Yu-Fang Chen

Automated Technology for Verification and Analysis

Yu-Fang Chen

Paperback

Not Available

Book Cover for Rules and Reasoning by Paul Fodor

Rules and Reasoning

Paul Fodor

Paperback

Not Available

Book Cover for Advances in Conceptual Modeling by Giancarlo Guizzardi

Advances in Conceptual Modeling

Giancarlo Guizzardi

Paperback

Not Available

Book Cover for Formal Methods – The Next 30 Years by Maurice H. ter Beek

Formal Methods – The Next 30 Years

Maurice H. ter Beek

Paperback

Not Available

Book Cover for Principles and Practice of Constraint Programming by Thomas Schiex

Principles and Practice of Constraint Programming

Thomas Schiex

Paperback

Not Available

Book Cover for Testing Software and Systems by Christophe Gaston

Testing Software and Systems

Christophe Gaston

Paperback

Not Available

Book Cover for Tests and Proofs by Dirk, Ph. D. Beyer

Tests and Proofs

Dirk and 1 more

Paperback

Not Available

Book Cover for Mathematics of Program Construction by Graham Hutton

Mathematics of Program Construction

Graham Hutton

Paperback

Not Available

Book Cover for On the Move to Meaningful Internet Systems: OTM 2019 Conferences by Hervé Panetto

On the Move to Meaningful Internet Systems: OTM 2019 Conferences

Hervé Panetto

Paperback

Not Available

Book Cover for Product-Focused Software Process Improvement by Xavier Franch

Product-Focused Software Process Improvement

Xavier Franch

Paperback

Not Available

Book Cover for Dependable Software Engineering. Theories, Tools, and Applications by Nan Guan

Dependable Software Engineering. Theories, Tools, and Applications

Nan Guan

Paperback

Not Available

Book Cover for Formal Aspects of Component Software by Farhad Arbab

Formal Aspects of Component Software

Farhad Arbab

Paperback

Not Available

Book Cover for Service-Oriented Computing – ICSOC 2019 Workshops by Sami Yangui

Service-Oriented Computing – ICSOC 2019 Workshops

Sami Yangui

Paperback

Not Available

Book Cover for Analytical and Stochastic Modelling Techniques and Applications by Marco Gribaudo

Analytical and Stochastic Modelling Techniques and Applications

Marco Gribaudo

Paperback

Not Available

Book Cover for Verified Software. Theories, Tools, and Experiments by Supratik Chakraborty

Verified Software. Theories, Tools, and Experiments

Supratik Chakraborty

Paperback

Not Available

Book Cover for Computer Performance Engineering by Marco Gribaudo

Computer Performance Engineering

Marco Gribaudo

Paperback

Not Available

Book Cover for Measurement, Modelling and Evaluation of Computing Systems by Holger Hermanns

Measurement, Modelling and Evaluation of Computing Systems

Holger Hermanns

Paperback

Not Available

Book Cover for Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 201 by Jean-Michel Bruel

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 201

Jean-Michel Bruel

Paperback

Not Available

Book Cover for Coordination Models and Languages 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTe by Simon Bliudze

Coordination Models and Languages 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTe

Simon Bliudze

Paperback

Not Available

Book Cover for Engineering Trustworthy Software Systems by Jonathan P. Bowen

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Paperback

Not Available

Book Cover for Rules and Reasoning by Víctor Gutiérrez-Basulto

Rules and Reasoning

Víctor Gutiérrez-Basulto

Paperback

Not Available

Book Cover for Reversible Computation by Ivan Lanese

Reversible Computation

Ivan Lanese

Paperback

Not Available

Book Cover for Computer Safety, Reliability, and Security by António Casimiro

Computer Safety, Reliability, and Security

António Casimiro

Paperback

Not Available

Book Cover for Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops by António Casimiro

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

António Casimiro

Paperback

Not Available

Book Cover for Performance Evaluation and Benchmarking for the Era of Cloud(s) by Raghunath Nambiar

Performance Evaluation and Benchmarking for the Era of Cloud(s)

Raghunath Nambiar

Paperback

Not Available

Book Cover for Frontiers in Software Engineering Education by Jean-Michel Bruel

Frontiers in Software Engineering Education

Jean-Michel Bruel

Paperback

Not Available

Book Cover for Software Architecture by Anton Jansen

Software Architecture

Anton Jansen

Paperback

Not Available

Book Cover for OpenMP: Portable Multi-Level Parallelism on Modern Systems by Kent Milfeld

OpenMP: Portable Multi-Level Parallelism on Modern Systems

Kent Milfeld

Paperback

Not Available

Book Cover for Formal Methods for Industrial Critical Systems by Maurice H. ter Beek

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek

Paperback

Not Available

Book Cover for Services Computing – SCC 2020 by Qingyang Wang

Services Computing – SCC 2020

Qingyang Wang

Paperback

Not Available

Book Cover for Services – SERVICES 2020 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings by Joao Eduardo Ferreira

Services – SERVICES 2020 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

Joao Eduardo Ferreira

Paperback

Not Available

Book Cover for Search-Based Software Engineering by Aldeida Aleti

Search-Based Software Engineering

Aldeida Aleti

Paperback

Not Available

Book Cover for Programming Languages and Systems by Bruno C. d. S. Oliveira

Programming Languages and Systems

Bruno C. d. S. Oliveira

Paperback

Not Available

Book Cover for Formal Methods: Foundations and Applications by Gustavo Carvalho

Formal Methods: Foundations and Applications

Gustavo Carvalho

Paperback

Not Available

Book Cover for Human-Centered Software Engineering by Regina Bernhaupt

Human-Centered Software Engineering

Regina Bernhaupt

Paperback

Not Available

Book Cover for Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops by Loek Cleophas

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Loek Cleophas

Paperback

Not Available

Book Cover for Reuse in Emerging Software Engineering Practices by Sihem Ben Sassi

Reuse in Emerging Software Engineering Practices

Sihem Ben Sassi

Paperback

Not Available

Book Cover for Software Verification by Maria Christakis

Software Verification

Maria Christakis

Paperback

Not Available

Book Cover for NASA Formal Methods by Aaron Dutle

NASA Formal Methods

Aaron Dutle

Paperback

Not Available

Book Cover for Coordination Models and Languages 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTe by Ferruccio Damiani

Coordination Models and Languages 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTe

Ferruccio Damiani

Paperback

Not Available

Book Cover for End-User Development 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings by Daniela Fogli

End-User Development 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings

Daniela Fogli

Paperback

Not Available

Book Cover for Model and Data Engineering by Christian Attiogbé

Model and Data Engineering

Christian Attiogbé

Paperback

Not Available

Book Cover for Tests and Proofs by Frédéric Loulergue

Tests and Proofs

Frédéric Loulergue

Paperback

Not Available

Book Cover for Logic, Computation and Rigorous Methods by Alexander Raschke

Logic, Computation and Rigorous Methods

Alexander Raschke

Paperback

Not Available

Book Cover for Reversible Computation by Shigeru Yamashita

Reversible Computation

Shigeru Yamashita

Paperback

Not Available

Book Cover for Computer Safety, Reliability, and Security by Ibrahim Habli

Computer Safety, Reliability, and Security

Ibrahim Habli

Paperback

Not Available

Book Cover for Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings by Ibrahim Habli

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

Ibrahim Habli

Paperback

Not Available

Book Cover for Software Architecture by Stefan Biffl

Software Architecture

Stefan Biffl

Paperback

Not Available

Book Cover for Formal Methods for Industrial Critical Systems by Alberto Lluch Lafuente

Formal Methods for Industrial Critical Systems

Alberto Lluch Lafuente

Paperback

Not Available

Book Cover for OpenMP: Enabling Massive Node-Level Parallelism by Simon McIntosh-Smith

OpenMP: Enabling Massive Node-Level Parallelism

Simon McIntosh-Smith

Paperback

Not Available

Book Cover for Search-Based Software Engineering by Una-May O'Reilly

Search-Based Software Engineering

Una-May O'Reilly

Paperback

Not Available

Book Cover for Automated Technology for Verification and Analysis by Zhe Hou

Automated Technology for Verification and Analysis

Zhe Hou

Paperback

Not Available

Book Cover for Services – SERVICES 2021 by Mohamed Adel Serhani

Services – SERVICES 2021

Mohamed Adel Serhani

Paperback

Not Available

Book Cover for Advances in Conceptual Modeling by Iris Reinhartz-Berger

Advances in Conceptual Modeling

Iris Reinhartz-Berger

Paperback

Not Available

Book Cover for Dependable Software Engineering. Theories, Tools, and Applications by Shengchao Qin

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin

Paperback

Not Available

Book Cover for Performance Engineering and Stochastic Modeling by Paolo Ballarini

Performance Engineering and Stochastic Modeling

Paolo Ballarini

Paperback

Not Available

Book Cover for Service-Oriented Computing by Hakim Hacid

Service-Oriented Computing

Hakim Hacid

Paperback

Not Available

Book Cover for Practical Aspects of Declarative Languages by James Cheney

Practical Aspects of Declarative Languages

James Cheney

Paperback

Not Available

Book Cover for Accelerator Programming Using Directives by Sridutt Bhalachandra

Accelerator Programming Using Directives

Sridutt Bhalachandra

Paperback

Not Available

Book Cover for Fundamentals of Software Engineering by Farhad Arbab

Fundamentals of Software Engineering

Farhad Arbab

Paperback

Not Available

Book Cover for Generative and Transformational Techniques in Software Engineering III by João M. Fernandes

Generative and Transformational Techniques in Software Engineering III

João M. Fernandes

Paperback

Not Available

Book Cover for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Fir by Rocco De Nicola

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Fir

Rocco De Nicola

Paperback

Not Available

Book Cover for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced by Marco Bernardo

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced

Marco Bernardo

Paperback

Not Available

Book Cover for Software Architecture by Khalil Drira

Software Architecture

Khalil Drira

Paperback

Not Available

Book Cover for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools by Stephen Poole

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools

Stephen Poole

Paperback

Not Available

Book Cover for Hardware and Software: Verification and Testing by Eran Yahav

Hardware and Software: Verification and Testing

Eran Yahav

Paperback

Not Available

Book Cover for Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers by Raghunath Nambiar

Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers

Raghunath Nambiar

Paperback

Not Available

Book Cover for Software Engineering and Formal Methods by Carlos Canal

Software Engineering and Formal Methods

Carlos Canal

Paperback

Not Available

Book Cover for Software, Services, and Systems by Rocco De Nicola

Software, Services, and Systems

Rocco De Nicola

Paperback

Not Available

Book Cover for Software Engineering for Collective Autonomic Systems by Martin Wirsing

Software Engineering for Collective Autonomic Systems

Martin Wirsing

Paperback

Not Available

Book Cover for Requirements Engineering: Foundation for Software Quality by Samuel A. Fricker

Requirements Engineering: Foundation for Software Quality

Samuel A. Fricker

Paperback

Not Available

Book Cover for End-User Development by Paloma Díaz

End-User Development

Paloma Díaz

Paperback

Not Available

Book Cover for Cloud Computing and Big Data by Weizhong Qiang

Cloud Computing and Big Data

Weizhong Qiang

Paperback

Not Available

Book Cover for FM 2015: Formal Methods by Nikolaj Bjørner

FM 2015: Formal Methods

Nikolaj Bjørner

Paperback

Not Available

Book Cover for Reliable Software Technologies – Ada-Europe 2015 by Juan Antonio de la Puente

Reliable Software Technologies – Ada-Europe 2015

Juan Antonio de la Puente

Paperback

Not Available

Book Cover for Formal Methods for Industrial Critical Systems by Manuel Núñez

Formal Methods for Industrial Critical Systems

Manuel Núñez

Paperback

Not Available

Book Cover for Mathematics of Program Construction by Ralf Hinze

Mathematics of Program Construction

Ralf Hinze

Paperback

Not Available

Book Cover for Practical Aspects of Declarative Languages by Enrico Pontelli

Practical Aspects of Declarative Languages

Enrico Pontelli

Paperback

Not Available

Book Cover for Rule Technologies: Foundations, Tools, and Applications by Nick Bassiliades

Rule Technologies: Foundations, Tools, and Applications

Nick Bassiliades

Paperback

Not Available

Book Cover for Principles and Practice of Constraint Programming by Gilles Pesant

Principles and Practice of Constraint Programming

Gilles Pesant

Paperback

Not Available

Book Cover for Software Engineering for Resilient Systems by Alessandro Fantechi

Software Engineering for Resilient Systems

Alessandro Fantechi

Paperback

Not Available

Book Cover for Search-Based Software Engineering by Márcio Barros

Search-Based Software Engineering

Márcio Barros

Paperback

Not Available

Book Cover for Runtime Verification by Ezio Bartocci

Runtime Verification

Ezio Bartocci

Paperback

Not Available

Book Cover for OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies by Manjunath Gorentla Venkata

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Manjunath Gorentla Venkata

Paperback

Not Available

Book Cover for Formal Methods and Software Engineering by Michael Butler

Formal Methods and Software Engineering

Michael Butler

Paperback

Not Available

Book Cover for Service-Oriented Computing by Alistair Barros

Service-Oriented Computing

Alistair Barros

Paperback

Not Available

Book Cover for Testing Software and Systems by Khaled El-Fakih

Testing Software and Systems

Khaled El-Fakih

Paperback

Not Available

Book Cover for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers by Christiano Braga

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Christiano Braga

Paperback

Not Available

Book Cover for Requirements Engineering: Foundation for Software Quality by Maya Daneva

Requirements Engineering: Foundation for Software Quality

Maya Daneva

Paperback

Not Available

Book Cover for Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems by Anne Remke

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Anne Remke

Paperback

Not Available

Book Cover for Integrated Formal Methods by Erika Ábrahám

Integrated Formal Methods

Erika Ábrahám

Paperback

Not Available

Book Cover for NASA Formal Methods by Sanjai Rayadurgam

NASA Formal Methods

Sanjai Rayadurgam

Paperback

Not Available

Book Cover for Reliable Software Technologies – Ada-Europe 2016 by Marko Bertogna

Reliable Software Technologies – Ada-Europe 2016

Marko Bertogna

Paperback

Not Available

Book Cover for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Ber by Marco Bernardo

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Ber

Marco Bernardo

Paperback

Not Available

Book Cover for Software Engineering for Resilient Systems by Ivica Crnkovic

Software Engineering for Resilient Systems

Ivica Crnkovic

Paperback

Not Available

Book Cover for Software Architecture by Bedir Tekinerdogan

Software Architecture

Bedir Tekinerdogan

Paperback

Not Available

Book Cover for Analytical and Stochastic Modelling Techniques and Applications by Sabine Wittevrongel

Analytical and Stochastic Modelling Techniques and Applications

Sabine Wittevrongel

Paperback

Not Available

Book Cover for Service-Oriented and Cloud Computing by Marco Aiello

Service-Oriented and Cloud Computing

Marco Aiello

Paperback

Not Available

Book Cover for Programming Languages by Fernando Castor

Programming Languages

Fernando Castor

Paperback

Not Available

Book Cover for Model and Data Engineering by Ladjel Bellatreche

Model and Data Engineering

Ladjel Bellatreche

Paperback

Not Available

Book Cover for OpenMP: Memory, Devices, and Tasks by Naoya Maruyama

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama

Paperback

Not Available

Book Cover for Computer Safety, Reliability, and Security by Amund Skavhaug

Computer Safety, Reliability, and Security

Amund Skavhaug

Paperback

Not Available

Book Cover for Service-Oriented Computing by Quan Z. Sheng

Service-Oriented Computing

Quan Z. Sheng

Paperback

Not Available

Book Cover for System Analysis and Modeling. Technology-Specific Aspects of Models by Jens Grabowski

System Analysis and Modeling. Technology-Specific Aspects of Models

Jens Grabowski

Paperback

Not Available

Book Cover for Search Based Software Engineering by Federica Sarro

Search Based Software Engineering

Federica Sarro

Paperback

Not Available

Book Cover for Verified Software. Theories, Tools, and Experiments by Sandrine Blazy

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy

Paperback

Not Available

Book Cover for Testing Software and Systems by Franz Wotawa

Testing Software and Systems

Franz Wotawa

Paperback

Not Available

Book Cover for Scala: From a Functional Programming Perspective by Vicenç Torra

Scala: From a Functional Programming Perspective

Vicenç Torra

Paperback

Not Available

Book Cover for FM 2016: Formal Methods by John Fitzgerald

FM 2016: Formal Methods

John Fitzgerald

Paperback

Not Available

©PTC International Ltd T/A LoveReading is registered in England. Company number: 10193437. VAT number: 270 4538 09. Registered address: 157 Shooters Hill, London, SE18 3HP.
Terms & Conditions | Privacy Policy | Disclaimer