2008, ISBN: 9783540781622
Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpreta… Plus…
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2008, ISBN: 9783540781622
th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. T… Plus…
BarnesandNoble.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2008, ISBN: 9783540781622
Editor: Logozzo, Francesco, Editor: Peled, Doron A. Editor: Zuck, Leonore D. Springer, Paperback, Auflage: 2008, 335 Seiten, Publiziert: 2008-02-26T00:00:01Z, Produktgruppe: Book, Herstel… Plus…
amazon.co.uk Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
2008, ISBN: 9783540781622
Livres de poche
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2008
lehmanns.de Frais d'envoiVersand in 10-14 Tagen. (EUR 13.95) Details... |
2008, ISBN: 3540781625
[EAN: 9783540781622], Gebraucht, wie neu, [PU: Springer], LIKE NEW, Books
AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Frais d'envoi EUR 29.25 Details... |
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - nouveau livre
2008, ISBN: 9783540781622
Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpreta… Plus…
2008, ISBN: 9783540781622
th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. T… Plus…
2008
ISBN: 9783540781622
Editor: Logozzo, Francesco, Editor: Peled, Doron A. Editor: Zuck, Leonore D. Springer, Paperback, Auflage: 2008, 335 Seiten, Publiziert: 2008-02-26T00:00:01Z, Produktgruppe: Book, Herstel… Plus…
2008, ISBN: 9783540781622
Livres de poche
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2008
2008, ISBN: 3540781625
[EAN: 9783540781622], Gebraucht, wie neu, [PU: Springer], LIKE NEW, Books
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings: 4905 (Lecture Notes in Computer Science, 4905)
EAN (ISBN-13): 9783540781622
ISBN (ISBN-10): 3540781625
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Springer
323 Pages
Poids: 0,514 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2008-01-30T17:47:36+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-08T20:00:06+01:00 (Paris)
ISBN/EAN: 9783540781622
ISBN - Autres types d'écriture:
3-540-78162-5, 978-3-540-78162-2
Autres types d'écriture et termes associés:
Auteur du livre: logoz, doron, zuck, leonore, francesco, peled, venice
Titre du livre: verification model checking abstract interpretation, san francisco 2008, usa 2008, international conference computer science, proceedings the 9th international, model interpretations, usa and away, say this the usa, san francesco, lecture notes computer science
Données de l'éditeur
Auteur: Francesco Logozzo; Doron A. Peled; Leonore D. Zuck
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Editeur: Springer; Springer Berlin
325 Pages
Date de parution: 2008-02-26
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 325 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Constraint; Debugging; Simulation; abstract domains; abstract interpretation; abstraction; algorithms; formal methods; formal verification; optimization; program analysis; program semantics; programming; programming language; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.- CTL as an Intermediate Language.- Multi-valued Logics, Automata, Simulations, and Games.- Verification of Register Allocators.- Program Analysis and Programming Languages for Security.- An Improved Tight Closure Algorithm for Integer Octagonal Constraints.- Handling Parameterized Systems with Non-atomic Global Conditions.- Abstract Interpretation of the Physical Inputs of Embedded Programs.- Diagnostic Information for Realizability.- Approximation Refinement for Interpolation-Based Model Checking.- Abstract Interpretation of Cellular Signalling Networks.- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?.- Model Checking for Action Abstraction.- On Bridging Simulation and Formal Verification.- Extending Model Checking with Dynamic Analysis.- Deriving Bisimulations by Simplifying Partitions.- Precise Set Sharing Analysis for Java-Style Programs.- Sufficient Preconditions for Modular Assertion Checking.- Runtime Checking for Separation Logic.- Decision Procedures for Multisets with Cardinality Constraints.- All You Need Is Compassion.- A Forward-Backward Abstraction Refinement Algorithm.- Internal and External Logics of Abstract Interpretations.- From LTL to Symbolically Represented Deterministic Automata.- Monitoring Temporal Properties of Stochastic Systems.- A Hybrid Algorithm for LTL Games.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783030670665 Verification, Model Checking, and Abstract Interpretation (Fritz Henglein; Sharon Shoham; Yakir Vizel)
- 9783030670665 Verification, Model Checking, and Abstract Interpretation (Fritz Henglein; Sharon Shoham; Yakir Vizel)
- 9783030393212 Verification, Model Checking, and Abstract Interpretation (Dirk Beyer; Damien Zufferey)
- 9783030112455 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- 9783030112448 Verification, Model Checking, and Abstract Interpretation (Constantin Enea; Ruzica Piskac)
- Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ... Science Book 9583) (English Edition) (Kenneth McMillan)
< pour archiver...