Static Analysis of Software: The Abstract Interpretation

Note moyenne 0
( 0 avis fournis par Goodreads )
 
9781848213203: Static Analysis of Software: The Abstract Interpretation

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.

This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Meilleurs résultats de recherche sur AbeBooks

1.

Jean-Louis Boulanger
Edité par John Wiley and Sons
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Quantité : > 20
Vendeur
INDOO
(Avenel, NJ, Etats-Unis)
Evaluation vendeur
[?]

Description du livre John Wiley and Sons. État : New. Brand New. N° de réf. du libraire 1848213204

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 124,27
Autre devise

Ajouter au panier

Frais de port : EUR 3
Vers Etats-Unis
Destinations, frais et délais

2.

Edité par ISTE Ltd and John Wiley Sons Inc, United Kingdom (2012)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 1
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2012. Hardback. État : New. Language: English . Brand New Book. The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called abstract interpretation currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples). N° de réf. du libraire AAH9781848213203

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 131,64
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

3.

Jeanand#8211;Louis Boulanger
Edité par ISTE Ltd. (2011)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Quantité : 3
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre ISTE Ltd., 2011. HRD. État : New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. N° de réf. du libraire FW-9781848213203

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 122,33
Autre devise

Ajouter au panier

Frais de port : EUR 10,04
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Edité par ISTE Ltd and John Wiley Sons Inc, United Kingdom (2012)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 1
Vendeur
The Book Depository US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2012. Hardback. État : New. Language: English . Brand New Book. The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called abstract interpretation currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples). N° de réf. du libraire AAH9781848213203

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 132,41
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Jean-Louis Boulanger
Edité par ISTE Ltd and John Wiley & Sons Inc
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 3
Vendeur
THE SAINT BOOKSTORE
(Southport, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre ISTE Ltd and John Wiley & Sons Inc. Hardback. État : new. BRAND NEW, Static Analysis of Software: The Abstract Interpretation, Jean-Louis Boulanger, The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples). N° de réf. du libraire B9781848213203

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 148,80
Autre devise

Ajouter au panier

Frais de port : EUR 7,74
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

6.

Edité par ISTE Ltd and John Wiley Sons Inc, United Kingdom (2012)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 10
Vendeur
Book Depository hard to find
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2012. Hardback. État : New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called abstract interpretation currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples). N° de réf. du libraire BZV9781848213203

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 166,09
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

7.

Jean-Louis Boulanger (Editor)
Edité par Wiley-ISTE (2012)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 1
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Wiley-ISTE, 2012. Hardcover. État : New. 1. N° de réf. du libraire DADAX1848213204

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 167,27
Autre devise

Ajouter au panier

Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

8.

Edité par Wiley-ISTE (2011)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 1
Vendeur
Irish Booksellers
(Rumford, ME, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Wiley-ISTE, 2011. Hardcover. État : New. book. N° de réf. du libraire 1848213204

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 179,13
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

9.

Boulanger, Jean-louis
Edité par Iste/Hermes Science Pub (2012)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 2
Vendeur
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Iste/Hermes Science Pub, 2012. Hardcover. État : Brand New. 1st edition. 331 pages. 9.25x6.25x1.00 inches. In Stock. N° de réf. du libraire __1848213204

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 206,05
Autre devise

Ajouter au panier

Frais de port : EUR 6,68
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

10.

Edité par Wiley-ISTE
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Quantité : 1
Vendeur
Cloud 9 Books
(Wellington, FL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Wiley-ISTE. Hardcover. État : New. 1848213204 New Condition. N° de réf. du libraire NEW6.1691319

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 329,32
Autre devise

Ajouter au panier

Frais de port : EUR 4,28
Vers Etats-Unis
Destinations, frais et délais