- 5 Résultats
prix le plus bas: € 52,47, prix le plus élevé: € 58,10, prix moyen: € 55,02
1
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Kedar S. Namjoshi
Commander
sur AbeBooks.de
€ 58,10
Envoi: € 0,001
CommanderLien sponsorisé
Kedar S. Namjoshi:

Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Livres de poche

2005, ISBN: 3540311394

[EAN: 9783540311393], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. QUALITÄTSSICHERUNG, QUALITÄT; FACTOR; REFACTORING; ABSTRACTION; ALGORITHMS; COMPLEXITY; DESIG… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)
Commander
sur amazon.co.uk
£ 47,58
(environ € 55,49)
Envoi: € 5,601
CommanderLien sponsorisé
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855) - Livres de poche

2005, ISBN: 9783540311393

Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Plus…

Gebraucht, wie neu. Frais d'envoiUsually dispatched within 12 to 13 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.60) swestbooks
3
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)
Commander
sur amazon.co.uk
£ 44,99
(environ € 52,47)
Envoi: € 4,071
CommanderLien sponsorisé
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855) - Livres de poche

2005

ISBN: 9783540311393

Editor: Emerson, E. Allen, Editor: Namjoshi, Kedar S. Springer, Paperback, Auflage: 2006, 454 Seiten, Publiziert: 2005-12-19T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.6… Plus…

Frais d'envoiIn stock, Lieferung von Amazon. (EUR 4.07) Amazon.co.uk
4
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science (3855)) by Emerson, E. Allen, Namjoshi, Kedar S. [Paperback ] - Emerson, E. Allen
Commander
sur AbeBooks.de
€ 52,55
Envoi: € 8,221
CommanderLien sponsorisé
Emerson, E. Allen", "Namjoshi, Kedar S.":
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science (3855)) by Emerson, E. Allen, Namjoshi, Kedar S. [Paperback ] - Livres de poche

2005, ISBN: 3540311394

[EAN: 9783540311393], Neubuch, [PU: Springer], Books

NEW BOOK. Frais d'envoi EUR 8.22 booksXpress, Bayonne, NJ, U.S.A. [71410708] [Rating: 4 (von 5)]
5
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Emerson, E. Allen
Commander
sur Blackwells.co.uk
£ 48,31
(environ € 56,50)
Envoi: € 7,601
CommanderLien sponsorisé
Emerson, E. Allen:
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Livres de poche

2006, ISBN: 9783540311393

paperback, [PU: Springer, Berlin/Heidelberg]

in stock. Frais d'envoiUnknown. (EUR 7.60) Blackwells.co.uk

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

Informations détaillées sur le livre - Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ... (Lecture Notes in Computer Science, 3855)


EAN (ISBN-13): 9783540311393
ISBN (ISBN-10): 3540311394
Livre de poche
Date de parution: 2005
Editeur: Springer
460 Pages
Poids: 0,690 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-03-21T20:08:17+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-08T20:00:06+01:00 (Paris)
ISBN/EAN: 3540311394

ISBN - Autres types d'écriture:
3-540-31139-4, 978-3-540-31139-3
Autres types d'écriture et termes associés:
Auteur du livre: emerson, kedar, allen, charleston
Titre du livre: theoretical computer science, 2006, verification model checking abstract interpretation, charleston conference proceedings, international model, model interpretations, usa and away, say this the usa, 7th international


Données de l'éditeur

Auteur: E. Allen Emerson; Kedar S. Namjoshi
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Editeur: Springer; Springer Berlin
443 Pages
Date de parution: 2005-12-19
Berlin; Heidelberg; DE
Poids: 1,410 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 443 p.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Factor; Refactoring; abstraction; algorithms; complexity; design; model checking; program analysis; program invariants; program semantics; program verification; programming; programming calculi; structured analysis; verification; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA

Closure Operators for ROBDDs.- A CLP Method for Compositional and Intermittent Predicate Abstraction.- Combining Shape Analyses by Intersecting Abstractions.- A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.- Complexity Results on Branching-Time Pushdown Model Checking.- A Compositional Logic for Control Flow.- Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.- Efficient Strongly Relational Polyhedral Analysis.- Environment Abstraction for Parameterized Verification.- Error Control for Probabilistic Model Checking.- Field Constraint Analysis.- A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety.- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems.- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.- Monitoring Off-the-Shelf Components.- Parallel External Directed Model Checking with Linear I/O.- Piecewise FIFO Channels Are Analyzable.- Ranking Abstraction of Recursive Programs.- Relative Safety.- Resource Usage Analysis for the ?-Calculus.- Semantic Hierarchy Refactoring by Abstract Interpretation.- Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation.- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.- Synthesis of Reactive(1) Designs.- Systematic Construction of Abstractions for Model-Checking.- Totally Clairvoyant Scheduling with Relative Timing Constraints.- Verification of Well-Formed Communicating Recursive State Machines.- What’s Decidable About Arrays?.
Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2006 27 revised full papers feature current research Coverage includes model checking and abstract interpretation, facilitating interaction, cross-fertilization and advancement of hybrid methods

< pour archiver...