9783540223429 - computer aided verification: 16th international conference, cav 2004, boston, ma, usa, july 13-17, 2004, proceedings (lecture notes in computer science, 3114, band 3114) von peled, doron a.; alur, rajeev (8 Ergebnisse)
- Softcover
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USAMidtown Scholar Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 60,04
EUR 5,14 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. some shelfwear/edgewear but still NICE! - may have remainder mark or previous owner's name Standard-sized.
- Softcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 93,21
EUR 12,44 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,63
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,27
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,36
EUR 64,13 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- cation, CAV 2004,held in Boston,Massachusetts,USA, July13 17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-…assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre ectstheincreasingsynergybetweenresearch on veri cation and testing, and emerging applications of formal veri cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci cation and veri cation of concurrent software organized by Shaz Qadeer.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 223,91
EUR 29,22 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- cation, CAV 2004,held in Boston,Massachusetts,USA, July13 17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and pract…ice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre ectstheincreasingsynergybetweenresearch on veri cation and testing, and emerging applications of formal veri cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci cation and veri cation of concurrent software organized by Shaz Qadeer. 552 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Rob Tristan Gerth: 1956-2003.- Static Program Analysis via 3-Valued Logic.- Deductive Verification of Pipelined Machines Using First-Order Quantification.- A Formal Reduction for Lock-Free Parallel Algorithms.- An Efficiently Checkable, P…roof-Based Formulation of Vacuity in Model Checking.- Termination of Linear Programs.- Symbolic Model Checking of Non-regular Properties.- Proving More Properties with Bounded Model Checking.- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.- Using Interface Refinement to Integrate Formal Verification into the Design Cycle.- Indexed Predicate Discovery for Unbounded System Verification.- Range Allocation for Separation Logic.- An Experimental Evaluation of Ground Decision Procedures.- DPLL(T): Fast Decision Procedures.- Verifying -Regular Properties of Markov Chains.- Statistical Model Checking of Black-Box Probabilistic Systems.- Compositional Specification and Model Checking in GSTE.- GSTE Is Partitioned Model Checking.- Stuck-Free Conformance.- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors.- Functional Dependency for Verification Reduction.- Verification via Structure Simulation.- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.- Abstraction-Based Satisfiability Solving of Presburger Arithmetic.- Widening Arithmetic Automata.- Why Model Checking Can Improve WCET Analysis.- Regular Model Checking for LTL(MSO).- Image Computation in Infinite State Model Checking.- Abstract Regular Model Checking.- Global Model-Checking of Infinite-State Systems.- QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.- Verification of an Advanced mips-Type Out-of-Order Execution Algorithm.- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.- Efficient Modeling of Embedded Memories in Bounded Model Checking.- Understanding Counterexamples with explain.- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.- JNuke: Efficient Dynamic Analysis for Java.- The HiVy Tool Set.- ObsSlice: A Timed Automata Slicer Based on Observers.- The UCLID Decision Procedure.- MCK: Model Checking the Logic of Knowledge.- Zing: A Model Checker for Concurrent Software.- The Mec5 Model-Checker.- PlayGame: A Platform for Diagnostic Games.- SAL 2.- Formal Analysis of Java Programs in JavaFAN.- A Toolset for Modelling and Verification of GALS Systems.- WSAT: A Tool for Formal Analysis of Web Services.- CVC Lite: A New Implementation of the Cooperating Validity Checker.- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.- Mechanical Mathematical Methods for Microprocessor Verification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 552 pp. Englisch.
