Montant total (1 article articles) :
Destination de la commande :
xavier rival (50 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (50)
- 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 (40)
- Comme neuf, Très bon ou Bon (8)
- Assez bon ou satisfaisant (2)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (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 (27)
- Sans impressions à la demande (38)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)
Vendeur : Gate City Books, GREENSBORO, NC, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,92
Expédition à EUR 1,71
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : very_good. Used - Very Good: Item may have minor cosmetic defects.
-
Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)
Vendeur : Austin Goodwill 1101, Austin, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,38
Expédition à EUR 2,82
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Book shows general signs of use and handling. May have light wear on the cover or edges and minimal writing or highlighting. Binding remains tight, and pages are clean and readable.
-
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,71
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,95
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Introduction to Static Analysis : An Abstract Interpretation Perspective
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,18
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Introduction to Static Analysis (Hardcover)
Langue: anglais
Edité par MIT Press Ltd, Cambridge, Mass., 2020
ISBN 10 : 0262043416 ISBN 13 : 9780262043410
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,65
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts.A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts. A self-contained introduction to abstract interpretationbased static analysis, an essential resource for students, developers, and users. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Introduction to Static Analysis : An Abstract Interpretation Perspective
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,53
Expédition à EUR 2,25
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,15
Expédition à EUR 13,87
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,15
Expédition à EUR 13,87
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,17
Expédition à EUR 17,94
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,24
Expédition à EUR 17,94
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,12
Expédition à EUR 17,37
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,13
Expédition à EUR 17,37
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Introduction to Static Analysis
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 81,51
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New.
-
Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 80,09
Expédition à EUR 3,40
Expédition nationale : Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
-
Verification, Model Checking, and Abstract Interpretation
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 84,08
Expédition à EUR 3,40
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 512.
-
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings: 9837 (Programming and Software Engineering)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 84,64
Expédition à EUR 3,40
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 521 1st ed. 2016 edition NO-PA16APR2015-KAP.
-
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings
Langue: anglais
Edité par Springer-Verlag New York Inc, 2016
ISBN 10 : 3662534126 ISBN 13 : 9783662534120
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 81,31
Expédition à EUR 14,47
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 524 pages. 9.30x6.20x1.18 inches. In Stock.
-
Introduction to Static Analysis : An Abstract Interpretation Perspective
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 86,56
Expédition à EUR 17,37
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 96,34
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
-
Introduction to Static Analysis: An Abstract Interpretation Perspective
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 101,22
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. 2020. Hardcover. . . . . .
-
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Langue: anglais
Edité par Springer Berlin Heidelberg, 2014
ISBN 10 : 3642540120 ISBN 13 : 9783642540127
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 63,84
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
-
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Langue: anglais
Edité par Springer Berlin Heidelberg, 2016
ISBN 10 : 3662534126 ISBN 13 : 9783662534120
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 63,93
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.
-
EUR 50,35
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Static Analysis | 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings | Xavier Rival | Taschenbuch | x | Englisch | 2016 | Springer | EAN 9783662534120 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,35
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Verification, Model Checking, and Abstract Interpretation | 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings | Kenneth Mcmillan (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 9783642540127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 109,72
Expédition à EUR 17,37
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 109,72
Expédition à EUR 17,37
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Introduction to Static Analysis An Abstract Interpretation Perspective
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 111,36
Expédition à EUR 14,47
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 320 pages. 9.00x7.00x0.75 inches. In Stock.
-
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Lecture Notes in Computer Science, 8318)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,19
Expédition à EUR 28,95
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science (9837))
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,19
Expédition à EUR 28,95
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
