Static Analysis of Software: The Abstract Interpretation

Note moyenne 0
( 0 avis fournis par GoodReads )
9781848213203: Static Analysis of Software: The Abstract Interpretation
Présentation de l'éditeur :

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 « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Meilleurs résultats de recherche sur AbeBooks

1.

Boulanger, Jean-Louis (edt)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Quantité : 5
Vendeur
GreatBookPrices
(Columbia, MD, Etats-Unis)
Evaluation vendeur
[?]

Description du livre État : New. N° de réf. du libraire 14140706-n

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

Acheter neuf
EUR 133,90
Autre devise

Ajouter au panier

Frais de port : EUR 2,43
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 US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre ISTE Ltd and John Wiley Sons Inc, United Kingdom, 2012. Hardback. État : New. 236 x 156 mm. 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 136,42
Autre devise

Ajouter au panier

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

3.

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. 236 x 156 mm. 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 136,48
Autre devise

Ajouter au panier

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

4.

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 133,62
Autre devise

Ajouter au panier

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

5.

Jeanand#8211;Louis Boulanger
Edité par ISTE Ltd. (2011)
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Quantité : 4
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 128,64
Autre devise

Ajouter au panier

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

6.

Jean-Louis Boulanger
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Edition originale Quantité : 1
Vendeur
Grand Eagle Retail
(Wilmington, DE, Etats-Unis)
Evaluation vendeur
[?]

Description du livre 2011. Hardcover. État : New. 1st. 154mm x 241mm x 24mm. Hardcover. 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 for.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 331 pages. 0.654. N° de réf. du libraire 9781848213203

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

Acheter neuf
EUR 177,62
Autre devise

Ajouter au panier

Frais de port : Gratuit
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 188,14
Autre devise

Ajouter au panier

Frais de port : EUR 3,68
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 192,62
Autre devise

Ajouter au panier

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

9.

Jean-Louis Boulanger
ISBN 10 : 1848213204 ISBN 13 : 9781848213203
Neuf(s) Couverture rigide Edition originale Quantité : 1
Vendeur
AussieBookSeller
(SILVERWATER, NSW, Australie)
Evaluation vendeur
[?]

Description du livre 2011. Hardcover. État : New. 1st. 154mm x 241mm x 24mm. Hardcover. The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real exampl.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 331 pages. 0.654. N° de réf. du libraire 9781848213203

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

Acheter neuf
EUR 181,38
Autre devise

Ajouter au panier

Frais de port : EUR 25,81
De Australie vers Etats-Unis
Destinations, frais et délais

10.

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 213,37
Autre devise

Ajouter au panier

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

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre