Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Vérification assistée par ordinateur : 17e Conférence internationale, CAV 2005, Édimbourg,

État :

Entièrement neuf

Quantité :

3 disponibles

Prix :

126,24 $US

Environ173,28 $C

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

Sans frais Economy Shipping. En savoir plussur l'expédition

Lieu : Fairfield, Ohio, États-Unis

Livraison :

Livraison prévue entre le ven. 5 juil. et le mar. 16 juil. à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

grandeagleretail (921431)
98,3% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364686923130

Dernière mise à jour : mai 19, 2024 05:50:49 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Entièrement neuf: Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ...

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

Author: Sriram K. Rajamani

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

Author

Sriram K. Rajamani

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.

2005

Dewey Decimal

004.24

Dewey Edition

Illustrated

Yes

Description de l'objet du vendeur

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364686923130

Dernière mise à jour : mai 19, 2024 05:50:49 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Fairfield, Ohio, États-Unis

Expédition :

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, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, 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, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, 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 de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, 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, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert

Lieux exclus :

Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela

Quantité :

Changer de pays :

Code postal :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	Sans frais	États-Unis	Economy Shipping	Livraison prévue entre le ven. 5 juil. et le mar. 16 juil. à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 10 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.