Photo 1/1
![Vérification assistée par ordinateur : 17e Conférence internationale, CAV 2005, Édimbourg, - Photo 1/1](https://i.ebayimg.com/images/g/wmoAAOSw5V5mScxt/s-l500.jpg)
Vérification assistée par ordinateur : 17e Conférence internationale, CAV 2005, Édimbourg,-
État :
3 disponibles
Livraison :
Lieu où se trouve l'objet : Fairfield, Ohio, États-Unis
Délai de livraison :
Estimé entre le ven. 5 juil. et le mar. 16 juil. à 43230
Retours :
Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours
Paiements :
Achetez en toute confiance
Détails sur le vendeur
- 98,3 % d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :364686923130
Dernière mise à jour le 19 mai 2024 11:50:49 Paris. Afficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9783540272311
- Book Title
- Computer Aided Verification
- ISBN
- 9783540272311
- Subject Area
- Computers, Technology & Engineering
- Publication Name
- Computer Aided Verification : 17th International Conference, Cav 2005 Edinburgh, Scotland, UK, July 6-10, 2005 Proceedings
- Item Length
- 9.3 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Computer Science, Electronics / Circuits / Integrated, Intelligence (Ai) & Semantics, General
- Series
- Lecture Notes in Computer Science Ser.
- Publication Year
- 2005
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 63.5 Oz
- Number of Pages
- Xvi, 568 Pages
À propos de ce produit
Product Information
This volume contains the proceedings of the International Conference on Computer Aided Veri'cation (CAV), held in Edinburgh, Scotland, July 6-10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri'cation tools and the algorithms and techniques that are needed for their implementation. We received 123 submissions for regular papers and 32 submissions for tool papers.Ofthesesubmissions,theProgramCommitteeselected32regularpapers and 16 tool papers, which formed the technical program of the conference. The conference had three invited talks, by Bob Bentley (Intel), Bud Mishra (NYU), and George C. Necula (UC Berkeley). The conference was preceded by a tutorial day, with two tutorials: - Automated Abstraction Re'nement, by Thomas Ball (Microsoft) and Ken McMillan (Cadence); and - Theory and Practice of Decision Procedures for Combinations of (First- Order) Theories, by Clark Barrett (NYU) and Cesare Tinelli (U Iowa). CAV 2005 had six a'liated workshops: - BMC 2005: 3rd Int. Workshop on Bounded Model Checking; - FATES 2005: 5th Workshop on Formal Approaches to Testing Software; - GDV 2005: 2nd Workshop on Games in Design and Veri'cation; - PDPAR 2005: 3rd Workshop on Pragmatics of Decision Procedures in - tomated Reasoning; - RV 2005: 5th Workshop on Runtime Veri'cation; and - SoftMC 2005: 3rd Workshop on Software Model Checking.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540272313
ISBN-13
9783540272311
eBay Product ID (ePID)
47532917
Product Key Features
Publication Name
Computer Aided Verification : 17th International Conference, Cav 2005 Edinburgh, Scotland, UK, July 6-10, 2005 Proceedings
Format
Trade Paperback
Language
English
Subject
Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Computer Science, Electronics / Circuits / Integrated, Intelligence (Ai) & Semantics, General
Series
Lecture Notes in Computer Science Ser.
Publication Year
2005
Type
Textbook
Subject Area
Computers, Technology & Engineering
Number of Pages
Xvi, 568 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
63.5 Oz
Additional Product Features
Intended Audience
Scholarly & Professional
Series Volume Number
3576
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
Invited Talks.- Randomized Algorithms for Program Analysis and Verification.- Validating a Modern Microprocessor.- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.- Tools Competition.- SMT-COMP: Satisfiability Modulo Theories Competition.- Abstraction and Refinement.- Predicate Abstraction via Symbolic Decision Procedures.- Interpolant-Based Transition Relation Approximation.- Concrete Model Checking with Abstract Matching and Refinement.- Abstraction for Falsification.- Bounded Model Checking.- Bounded Model Checking of Concurrent Programs.- Incremental and Complete Bounded Model Checking for Full PLTL.- Abstraction Refinement for Bounded Model Checking.- Symmetry Reduction in SAT-Based Model Checking.- Tool Papers I.- Saturn: A SAT-Based Tool for Bug Detection.- JVer: A Java Verifier.- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.- Wolf - Bug Hunter for Concurrent Software Using Formal Methods.- Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.- The ComFoRT Reasoning Framework.- Verification of Hardware, Microcode, and Synchronous Systems.- Formal Verification of Pentium ® 4 Components with Symbolic Simulation and Inductive Invariants.- Formal Verification of Backward Compatibility of Microcode.- Compositional Analysis of Floating-Point Linear Numerical Filters.- Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.- Games and Probabilistic Verification.- Program Repair as a Game.- Improved Probabilistic Models for 802.11 Protocol Verification.- Probabilistic Verification for "Black-Box" Systems.- On Statistical Model Checking of Stochastic Systems.- Tool Papers II.- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.- The Orchids Intrusion Detection Tool.- TVOC: A Translation Validator for Optimizing Compilers.- Cogent: Accurate Theorem Proving for Program Verification.- F-Soft: Software Verification Platform.- Decision Procedures and Applications.- Yet Another Decision Procedure for Equality Logic.- DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic.- Efficient Satisfiability Modulo Theories via Delayed Theory Combination.- Automata and Transition Systems.- Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.- Efficient Monitoring of ?-Languages.- Verification of Tree Updates for Optimization.- Expand, Enlarge and Check... Made Efficient.- Tool Papers III.- IIV: An Invisible Invariant Verifier.- Action Language Verifier, Extended.- Romeo: A Tool for Analyzing Time Petri Nets.- TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems.- Ymer: A Statistical Model Checker.- Program Analysis and Verification I.- Extended Weighted Pushdown Systems.- Incremental Algorithms for Inter-procedural Analysis of Safety Properties.- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.-Program Analysis and Verification II.- Data Structure Specifications via Local Equality Axioms.- Linear Ranking with Reachability.- Reasoning About Threads Communicating via Locks.- Applications of Learning.- Abstraction Refinement via Inductive Learning.- Automated Assume-Guarantee Reasoning for Simulation Conformance.- Symbolic Compositional Verification by Learning Assumptions.
Copyright Date
2005
Dewey Decimal
004.24
Dewey Edition
22
Illustrated
Yes
Description de l'objet fournie par le vendeur
Informations sur le vendeur professionnel
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :364686923130
Dernière mise à jour le 19 mai 2024 11:50:49 Paris. Afficher toutes les modificationsAfficher toutes les modifications
Livraison et expédition
Lieu où se trouve l'objet :
Fairfield, Ohio, États-Unis
Destination :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Belize, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunei Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bénin, Cambodge, Cameroun, Canada, Cap-Vert, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Croatie, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Liberia, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Maurice, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Niue, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Christophe-et-Niévès, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les-Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vatican, Viêt Nam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, Éthiopie, Îles Caïmans, Îles Cook, Îles Malouines, Îles Salomon, Îles Turques-et-Caïques, Îles Vierges britanniques
Exclus :
APO/FPO, Alaska/Hawaï, Barbade, Biélorussie, Guadeloupe, Guyane, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats américains, Russie, Réunion, Samoa occidentales, Ukraine, Venezuela
Livraison et expédition | Chaque objet supplémentaire | à | Service | Livraison*Afficher les instructions de livraison |
---|---|---|---|---|
Livraison gratuite | Gratuit | États-Unis | Economy Shipping | Estimé entre le ven. 5 juil. et le mar. 16 juil. à 43230 |
Délai d'expédition |
---|
Envoi sous 10 jours ouvrés après réception du paiement. |
Taxes |
---|
Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay |
Taxe de vente pour l'objet n°364686923130
Taxe de vente pour l'objet n°364686923130
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Conditions de retour
Une fois l'objet reçu, contactez le vendeur dans un délai de | Mode de remboursement | Frais de retour |
---|---|---|
30 jours | Remboursement | L'acheteur paie les frais de retour |
Cliquez iciici pour en savoir plus sur les retours. Pour les transactions répondant aux conditions requises, vous êtes couvert par la Garantie client eBay si l'objet que vous avez reçu ne correspond pas à la description fournie dans l'annonce.
L'acheteur doit payer les frais de retour.
Détails des conditions de retour |
---|
Retours acceptés |
Détails du paiement
Modes de paiement
Remarque : il se peut que certains modes de paiement ne soient pas disponibles lors de la finalisation de l'achat en raison de l'évaluation des risques associés à l'acheteur.
Catégories populaires de cette Boutique
Inscrit comme vendeur professionnel
Évaluations en tant que vendeur (1 025 311)
e***o (1138)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Item shipped
Fast. Recommended seller. AAAA++++
f***o (274)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Great packaging and shipping. Would happily buy from again.
t***t (4246)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Prompt shipping and a nice, smooth transaction. A+++ seller!
Notes et avis sur le produit
Rédigez un avis en premier.
Découvrir d'autres objets :
- Livres, bandes dessinées et revues de non-fiction internationaux droits internationaux,
- Livres, bandes dessinées et revues de non-fiction international relations internationales,
- Livres, bandes dessinées et revues de non-fiction internationaux,
- Livres, bandes dessinées et revues de non-fiction internationaux livres,
- Livres, bandes dessinées et revues de non-fiction internationaux société,
- Bandes dessinées Année de publication 2005,
- Tomes de mangas et bandes dessinées asiatiques Année de publication 2005,
- Bandes dessinées et romans graphiques franco-belges et européens Année de publication 2005,
- Tomes de mangas et bandes dessinées asiatiques manga, Année de publication 2005,
- Bandes dessinées et romans graphiques américaines, marvel (MCU), Année de publication 2005