Search Results - Boulanger, Jean-Louis - Books

Safety of software-based systems

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

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%
£132.56
RRP £155.95 Save 15%

Securization techniques of software-based equipment

Hardback 16 Apr 2013
ISBN: 9781848214521
Dewey: 005.8
£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%

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%
£94.35
RRP £111.00 Save 15%
Licence From
£25.00
Available on VLeBooks

Applications Logicielles Certifiables 1

Ebook 1 Mar 2016
Publisher ISTE Editions
ISBN: 9781784061388
Licence From
£32.50
Available on VLeBooks

Applications Logicielles Certifiables 2

Ebook 1 Jun 2017
Publisher ISTE Editions
ISBN: 9781784062484
Dewey: 005.1
Licence From
£32.50
Available on VLeBooks
Licence From
£92.50
Available on VLeBooks
Licence From
£138.95
Available on VLeBooks
Licence From
£138.95
Available on VLeBooks
Licence From
£138.95
Available on VLeBooks

CENELEC 50128 and IEC 62279 standards

Ebook 31 Mar 2015
Publisher Wiley-Blackwell
ISBN: 9781119122494
Dewey: 385.028553
Licence From
£138.95
Available on VLeBooks
Licence From
£174.95
Available on VLeBooks

Formal methods applied to complex systems

eBook 22 Jul 2014
Publisher Wiley-Blackwell
ISBN: 9781119002925
Dewey: 004.0151
Licence From
£174.95
Available on VLeBooks

Formal methods applied to complex systems

eBook 9 Jul 2014
Publisher Wiley-Blackwell
ISBN: 9781119004776
Dewey: 004.0151
Licence From
£165.95
Available on VLeBooks

Formal methods applied to industrial complex systems

eBook 1 Jul 2014
Publisher Wiley-Blackwell
ISBN: 9781119004844
Dewey: 620.001171
Licence From
£165.95
Available on VLeBooks

Securization techniques of software-based equipment

eBook 6 May 2013
Publisher Wiley-Blackwell
ISBN: 9781118578612
Dewey: 005.8
Licence From
£138.95
Available on VLeBooks

Securization techniques of software-based equipment

eBook 6 May 2013
Publisher Wiley-Blackwell
ISBN: 9781118578650
Dewey: 005.8
Licence From
£138.95
Available on VLeBooks

Industrial used of formal method: formal verification

Ebook 27 Dec 2012
Publisher Wiley-Blackwell
ISBN: 9781118587904
Dewey: 005.101
Licence From
£138.95
Available on VLeBooks

Safety of computer architectures

Ebook 9 Jan 2013
Publisher Wiley-Blackwell
ISBN: 9781118600610
Dewey: 005.8
Licence From
£138.95
Available on VLeBooks

Safety of Computer Architectures

Ebook 9 Jan 2013
Publisher Wiley-Blackwell
ISBN: 9781118600801
Dewey: 005.8
Licence From
£138.95
Available on VLeBooks

Static analysis of software: the abstract interpretation

Ebook 7 Feb 2013
Publisher Wiley-Blackwell
ISBN: 9781118602843
Dewey: 005.14
Licence From
£155.95
Available on VLeBooks

Static Analysis of Software: The Abstract Interpretation

Ebook 7 Feb 2013
Publisher Wiley-Blackwell
ISBN: 9781118602959
Dewey: 005.14
Licence From
£155.95
Available on VLeBooks
1
2
>
>>