My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free US shipping over $10
Trustpilot
Proud to be B-Corp

Programming and Software Engineering Books

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 Certificationby Simon Collart-Dutilleul
New
$71.49
Risk Assessment and Risk-Driven Quality Assurance By Jurgen Grossmann
Risk Assessment and Risk-Driven Quality Assuranceby Jurgen Grossmann
New
$75.59
Deductive Software Verification - The KeY Book By Wolfgang Ahrendt
Deductive Software Verification - The KeY Bookby Wolfgang Ahrendt
New
$139.69
Cyber-Physical Systems of Systems By Andrea Bondavalli
Cyber-Physical Systems of Systemsby Andrea Bondavalli
New
$83.39
Ada 2012 Reference Manual. Language and Standard Libraries By S. Tucker Taft
Ada 2012 Reference Manual. Language and Standard Librariesby S. Tucker Taft
New
$165.19
Engineering Trustworthy Software Systems By Jonathan P. Bowen
Engineering Trustworthy Software Systemsby Jonathan P. Bowen
New
$64.89
Software Engineering for Collective Autonomic Systems By Martin Wirsing
Software Engineering for Collective Autonomic Systemsby Martin Wirsing
New
$103.19
Rules on the Web: From Theory to Applications By Antonis Bikakis
Rules on the Web: From Theory to Applicationsby Antonis Bikakis
New
$89.69
Assurances for Self-Adaptive Systems By Javier Camara
Assurances for Self-Adaptive Systemsby Javier Camara
New
$65.29
Runtime Verification By Borzoo Bonakdarpour
Runtime Verificationby Borzoo Bonakdarpour
New
$90.59
ZB 2005: Formal Specification and Development in Z and B By Helen Treharne
ZB 2005: Formal Specification and Development in Z and Bby Helen Treharne
New
$140.19
Software Architecture By Khalil Drira
Software Architectureby Khalil Drira
New
$65.39
Theory and Practice of Model Transformations By Richard F. Paige
Theory and Practice of Model Transformationsby Richard F. Paige
New
$88.39
Automated Technology for Verification and Analysis By Bernd Finkbeiner
Automated Technology for Verification and Analysisby Bernd Finkbeiner
New
$102.09
ECOOP 2005 - Object-Oriented Programming By Andrew Black
ECOOP 2005 - Object-Oriented Programmingby Andrew Black
New
$136.49
Computer Safety, Reliability, and Security By Francesco Flammini
Computer Safety, Reliability, and Securityby Francesco Flammini
New
$85.69
Product-Focused Software Process Improvement By Marco Kuhrmann
Product-Focused Software Process Improvementby Marco Kuhrmann
New
$66.19
Model-Driven Development of Reliable Automotive Services By Manfred Broy
Model-Driven Development of Reliable Automotive Servicesby Manfred Broy
New
$77.79
Software Engineering for Resilient Systems By Ivica Crnkovic
Software Engineering for Resilient Systemsby Ivica Crnkovic
New
$74.99
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things By Raghunath Nambiar
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Thingsby Raghunath Nambiar
New
$77.09
Reliable Software Technologies - Ada-Europe 2011 By Alexander Romanovsky
Reliable Software Technologies - Ada-Europe 2011by Alexander Romanovsky
Very Good
$10.00
Programming with Actors By Alessandro Ricci
Programming with Actorsby Alessandro Ricci
New
$64.89
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence By Raghunath Nambiar
Performance Evaluation and Benchmarking for the Era of Artificial Intelligenceby Raghunath Nambiar
New
$64.89
Testing Software and Systems By Christophe Gaston
Testing Software and Systemsby Christophe Gaston
New
$64.99
Service-Oriented Computing - ICSOC 2017 Workshops By Lars Braubach
Service-Oriented Computing - ICSOC 2017 Workshopsby Lars Braubach
New
$65.79
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence By Manjunath Gorentla Venkata
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergenceby Manjunath Gorentla Venkata
New
$55.79
Embedded Systems Design By Bruno Bouyssounouse
Embedded Systems Designby Bruno Bouyssounouse
New
$128.59
Autonomic and Trusted Computing By Juan Gonzalez Nieto
Autonomic and Trusted Computingby Juan Gonzalez Nieto
New
$88.09
Service-Oriented and Cloud Computing By Massimo Villari
Service-Oriented and Cloud Computingby Massimo Villari
New
$78.19
Service-Oriented and Cloud Computing By Flavio De Paoli
Service-Oriented and Cloud Computingby Flavio De Paoli
New
$81.69
Dependability Metrics By Irene Eusgeld
Dependability Metricsby Irene Eusgeld
New
$55.99
Ada 2012 Rationale By John Barnes
Ada 2012 Rationaleby John Barnes
New
$77.39
Machine Learning for Dynamic Software Analysis: Potentials and Limits By Amel Bennaceur
Machine Learning for Dynamic Software Analysis: Potentials and Limitsby Amel Bennaceur
New
$89.29
Service-Oriented Computing - ICSOC 2005 By Boualem Benatallah
Service-Oriented Computing - ICSOC 2005by Boualem Benatallah
New
$130.09
Software Engineering for Self-Adaptive Systems By Rogerio de Lemos
Software Engineering for Self-Adaptive Systemsby Rogerio de Lemos
New
$65.69
Software Engineering for Self-Adaptive Systems III. Assurances By Rogerio de Lemos
Software Engineering for Self-Adaptive Systems III. Assurancesby Rogerio de Lemos
New
$65.99
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification By Thierry Lecomte
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certificationby Thierry Lecomte
New
$82.79
Accelerator Programming Using Directives By Sunita Chandrasekaran
Accelerator Programming Using Directivesby Sunita Chandrasekaran
New
$64.89
Principles and Practice of Constraint Programming By John Hooker
Principles and Practice of Constraint Programmingby John Hooker
New
$126.69
Software Architecture By Tomas Bures
Software Architectureby Tomas Bures
New
$71.39
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments By Issa Traore
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environmentsby Issa Traore
New
$78.49
Formal Modeling: Actors; Open Systems, Biological Systems By Gul Agha
Formal Modeling: Actors; Open Systems, Biological Systemsby Gul Agha
New
$74.99
Reliable Software Technologies -- Ada-Europe 2013 By Hubert B. Keller
Reliable Software Technologies -- Ada-Europe 2013by Hubert B. Keller
New
$58.39
Formal Methods for Multicore Programming By Marco Bernardo
Formal Methods for Multicore Programmingby Marco Bernardo
New
$72.89
Service-Oriented Computing By Xavier Franch
Service-Oriented Computingby Xavier Franch
New
$108.39
Computer Safety, Reliability, and Security By Floor Koornneef
Computer Safety, Reliability, and Securityby Floor Koornneef
Very Good
$18.49