Search Results - ISTE Ltd - Books - Boulanger, Jean-Louis

Safety of software-based systems

Hardback 4 May 2020
ISBN: 9781848214149
Dewey: 005.1
£117.00

Securization techniques of software-based equipment

Hardback 16 Apr 2013
ISBN: 9781848214521
Dewey: 005.8
£118.11
RRP £138.95 Save 15%

CENELEC 50128 and IEC 62279 standards

Hardback 31 Mar 2015
ISBN: 9781848216341
Dewey: 385.028553
£118.11
RRP £138.95 Save 15%
£148.71
RRP £174.95 Save 15%

Formal Methods : Industrial Use from Model to the Code

Hardback 11 May 2012
ISBN: 9781848213623
Dewey: 385.028553
£118.11
RRP £138.95 Save 15%

Industrial Use of Formal Methods : Formal Verification

Hardback 15 Jun 2012
ISBN: 9781848213630
Dewey: 005.101
£118.11
RRP £138.95 Save 15%

Safety of Computer Architectures

Hardback 16 Jul 2010
ISBN: 9781848211971
Dewey: 004.22
£118.11
RRP £138.95 Save 15%

Formal methods applied to complex systems

Hardback 1 Jul 2014
ISBN: 9781848216327
Dewey: 004.0151
£141.06
RRP £165.95 Save 15%
£132.56
RRP £155.95 Save 15%

Certifiable Software Applications : Volume 4

Hardback 4 Aug 2015
ISBN: 9781848217355
Dewey: 005.3
£96.95

Control Build Implementation

Hardback 4 Aug 2016
ISBN: 9781848217126
Dewey: 621.3
Out of Print
Page 1 of 1