Montant total (1 article articles) :
Destination de la commande :
static analysis software abstract (10 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (10)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (4)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (2)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Reliure
- Toutes
- Couverture rigide (10)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (5)
- Sans impressions à la demande (10)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 40 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 40
Livraison gratuite
Pays
Evaluation du vendeur
-
Static Analysis of Software: The Abstract Interpretation
Vendeur : Salish Sea Books, Bellingham, WA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 108,76
Expédition à EUR 4,22
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Very Good; Hardcover; Light wear to the covers; Unblemished textblock edges; Two blank labels to the front endpapers; Text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Red and blue covers with title in white lettering; 2011, Wiley-ISTE Publishing; 331 pages; "Static Analysis of Software: The Abstract Interpretation," by Jean-Louis Boulanger.
-
Static Analysis of Software: The Abstract Interpretation
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 130,77
Expédition à EUR 3,17
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Static Analysis of Software : The Abstract Interpretation
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 142,63
Expédition à EUR 2,23
Expédition nationale : Etats-UnisQuantité disponible : 16 disponible(s)
Ajouter au panierEtat : New.
-
EUR 144,94
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Static Analysis of Software : The Abstract Interpretation
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 164,63
Expédition à EUR 2,23
Expédition nationale : Etats-UnisQuantité disponible : 16 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Static Analysis of Software : The Abstract Interpretation
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 171,67
Expédition à EUR 17,15
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Static Analysis of Software: The Abstract Interpretation
Vendeur : Ubiquity Trade, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 209,31
Expédition à EUR 2,54
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Brand new! Please provide a physical shipping address.
-
Static Analysis of Software : The Abstract Interpretation
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 202,58
Expédition à EUR 17,15
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
EUR 131,72
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Seiten: 331 | Sprache: Englisch | Produktart: Bücher | 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).
-
EUR 131,72
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 7 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 331 | Sprache: Englisch | Produktart: Bücher | 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).
