Search Results - Boulanger, Jean-Louis - Books - Available

Formal Methods : Industrial Use from Model to the Code

Hardback 11 May 2012
ISBN: 9781848213623
Dewey: 385.028553
£118.11
RRP £138.95
Special order line: only available to educational & business accounts. Sign In
£118.11
RRP £138.95
Special order line: only available to educational & business accounts. Sign In

Safety Management for Software-based Equipment

Hardback 16 Apr 2013
ISBN: 9781848214521
Dewey: 005.8
£118.11
RRP £138.95
Special order line: only available to educational & business accounts. Sign In

Safety of Computer Architectures

Hardback 16 Jul 2010
ISBN: 9781848211971
Dewey: 004.22
£118.11
RRP £138.95
Special order line: only available to educational & business accounts. Sign In
£148.71
RRP £174.95
Special order line: only available to educational & business accounts. Sign In
£141.06
RRP £165.95
Special order line: only available to educational & business accounts. Sign In
£132.56
RRP £155.95
Special order line: only available to educational & business accounts. Sign In

CENELEC 50128 and IEC 62279 Standards

Hardback 31 Mar 2015
ISBN: 9781848216341
Dewey: 385.028553
£118.11
RRP £138.95
Special order line: only available to educational & business accounts. Sign In

Formal methods applied to complex systems

eBook 22 Jul 2014
Publisher Wiley-Blackwell
ISBN: 9781119002925
Dewey: 004.0151
Licence From
£174.95
Special order line: only available to educational & business accounts. Sign In
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In

Securization techniques of software-based equipment

eBook 6 May 2013
Publisher Wiley-Blackwell
ISBN: 9781118578612
Dewey: 005.8
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In

Securization techniques of software-based equipment

eBook 6 May 2013
Publisher Wiley-Blackwell
ISBN: 9781118578650
Dewey: 005.8
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In

Applications Logicielles Certifiables 1

Ebook 1 Mar 2016
Publisher ISTE Editions
ISBN: 9781784061388
Licence From
£32.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£92.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£174.95
Special order line: only available to educational & business accounts. Sign In

Formal methods applied to complex systems

eBook 9 Jul 2014
Publisher Wiley-Blackwell
ISBN: 9781119004776
Dewey: 620.001171
Licence From
£165.95
Special order line: only available to educational & business accounts. Sign In
Licence From
£27.50
Special order line: only available to educational & business accounts. Sign In
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In

Static analysis of software: the abstract interpretation

Ebook 7 Feb 2013
Publisher Wiley-Blackwell
ISBN: 9781118602843
Dewey: 005.14
Licence From
£155.95
Special order line: only available to educational & business accounts. Sign In

CENELEC 50128 and IEC 62279 standards

Ebook 31 Mar 2015
Publisher Wiley-Blackwell
ISBN: 9781119122494
Dewey: 385.028553
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In

Industrial used of formal method: formal verification

Ebook 27 Dec 2012
Publisher Wiley-Blackwell
ISBN: 9781118587904
Dewey: 005.101
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In
Licence From
£25.00
Special order line: only available to educational & business accounts. Sign In

Static Analysis of Software: The Abstract Interpretation

Ebook 7 Feb 2013
Publisher Wiley-Blackwell
ISBN: 9781118602959
Dewey: 005.14
Licence From
£155.95
Special order line: only available to educational & business accounts. Sign In
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In

Applications Logicielles Certifiables 2

Ebook 1 Jun 2017
Publisher ISTE Editions
ISBN: 9781784062484
Dewey: 005.1
Licence From
£32.50
Special order line: only available to educational & business accounts. Sign In

Formal methods applied to industrial complex systems

eBook 1 Jul 2014
Publisher Wiley-Blackwell
ISBN: 9781119004844
Dewey: 620.001171
Licence From
£165.95
Special order line: only available to educational & business accounts. Sign In

Safety of Computer Architectures

Ebook 9 Jan 2013
Publisher Wiley-Blackwell
ISBN: 9781118600801
Dewey: 005.8
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In

Safety of computer architectures

Ebook 9 Jan 2013
Publisher Wiley-Blackwell
ISBN: 9781118600610
Dewey: 005.8
Licence From
£138.95
Special order line: only available to educational & business accounts. Sign In
£93.00
Special order line: only available to educational & business accounts. Sign In
£32.00
Special order line: only available to educational & business accounts. Sign In