Martyn Thomas – författare
Visar alla böcker från författaren Martyn Thomas. Handla med fri frakt och snabb leverans.
6 produkter
Software for Dependable Systems
Sufficient Evidence?
Av Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board m. fl.
E-bok, 2007
646 kr
Lägg i varukorg
The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. The …
Software for Dependable Systems
Sufficient Evidence?
Av Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board m. fl.
E-bok, 2007
491 kr
Lägg i varukorg
The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. The …
World in their Hands
The Story of the First Women's Rugby World Cup
Inbunden, 2022
222 kr
Lägg i varukorg
Shortlisted for the Sunday Times Rugby Book of the Year 2023World in their Hands recounts the remarkable events that led to a group of friends from south-west London staging the inaugural Women’s Rugby World Cup in 1991. The tournament was held just 13 years after teams from University College …
Industrial Deployment of System Engineering Methods
Av Alexander Romanovsky, Martyn Thomas
Inbunden, 2013
550 kr
Lägg i varukorg
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial …
Industrial Deployment of System Engineering Methods
Av Martyn Thomas, Alexander Romanovsky
E-bok, 2013
734 kr
Lägg i varukorg
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial …
Industrial Deployment of System Engineering Methods
Av Alexander Romanovsky, Martyn Thomas
Häftad, 2015
550 kr
Lägg i varukorg
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial …
